drwxr-xr-x   2 edrx edrx  4096 Mar 18 09:34 ./
drwxr-xr-x 315 edrx edrx 45056 Mar 18 09:35 ../
-rw-r--r--   1 edrx edrx   779 Feb 21  2020 Makefile
-rw-r--r--   1 edrx edrx  1276 Mar 18 09:33 Makefile.html
-rw-r--r--   1 edrx edrx  1475 Feb 21  2020 README
-rw-r--r--   1 edrx edrx  2044 Mar 18 09:33 README.html
-rw-r--r--   1 edrx edrx 26267 Feb 21  2020 bussproofs.sty
-rw-r--r--   1 edrx edrx 13868 Feb 21  2020 dednat.lua
-rw-r--r--   1 edrx edrx 23316 Mar 18 09:33 dednat.lua.html
-rw-r--r--   1 edrx edrx 15646 Feb 21  2020 dednat2.lua
-rw-r--r--   1 edrx edrx 25988 Mar 18 09:34 dednat2.lua.html
-rwxr-xr-x   1 edrx edrx 13848 Feb 21  2020 dednat3.lua*
-rw-r--r--   1 edrx edrx 19697 Mar 18 09:34 dednat3.lua.html
-rw-r--r--   1 edrx edrx 14552 Feb 21  2020 diagxy.lua
-rw-r--r--   1 edrx edrx 18537 Mar 18 09:34 diagxy.lua.html
-rw-r--r--   1 edrx edrx  3196 Feb 21  2020 example.tex
-rw-r--r--   1 edrx edrx  4680 Mar 18 09:34 example.tex.html
-rw-r--r--   1 edrx edrx  5183 Feb 21  2020 example_dvi.png
-rw-r--r--   1 edrx edrx  5697 Feb 21  2020 example_tex.png
-rw-r--r--   1 edrx edrx  2556 Feb 21  2020 experimental.lua
-rw-r--r--   1 edrx edrx  3131 Mar 18 09:34 experimental.lua.html
-rw-r--r--   1 edrx edrx  8213 Feb 21  2020 inc.lua
-rw-r--r--   1 edrx edrx 14133 Mar 18 09:34 inc.lua.html
-rw-r--r--   1 edrx edrx 10467 Feb 21  2020 proof.edrx.sty