../ README.md 27-Apr-2024 19:41 332 lambdax.bib 27-Apr-2024 19:41 1145 lambdax.dtx 27-Apr-2024 19:41 12114 lambdax.ins 27-Apr-2024 19:41 1952 lambdax.pdf 27-Apr-2024 19:41 555406