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