https://github.com/kohlhase/CambridgeLCF
Tip revision: 08ce063fdcea005bc7942a3b6c00ba8f8c9fcba3 authored by Michael Kohlhase on 02 July 2018, 18:48:54 UTC
initial upload, thanks to Larry Paulson
initial upload, thanks to Larry Paulson
Tip revision: 08ce063
| File | Mode | Size |
|---|---|---|
| .emacs_138 | -rw-r--r-- | 80 bytes |
| EDITS.txt | -rw-r--r-- | 6.4 KB |
| L-conv.ml | -rw-r--r-- | 4.8 KB |
| L-dlcf.l | -rw-r--r-- | 2.3 KB |
| L-drul.ml | -rw-r--r-- | 5.6 KB |
| L-fconv.ml | -rw-r--r-- | 11.0 KB |
| L-goals.ml | -rw-r--r-- | 4.0 KB |
| L-inst.l | -rw-r--r-- | 10.1 KB |
| L-makelcf.l | -rw-r--r-- | 1.4 KB |
| L-ol-net.l | -rw-r--r-- | 6.8 KB |
| L-ol-net.ml | -rw-r--r-- | 6.2 KB |
| L-ol-rec.l | -rw-r--r-- | 2.5 KB |
| L-ol-syntax.l | -rw-r--r-- | 12.9 KB |
| L-ol-util.ml | -rw-r--r-- | 6.1 KB |
| L-olcurry.ml | -rw-r--r-- | 1.6 KB |
| L-parsol.l | -rw-r--r-- | 10.0 KB |
| L-pcrule.ml | -rw-r--r-- | 6.5 KB |
| L-pplamb.ml | -rw-r--r-- | 2.1 KB |
| L-pplemmas.ml | -rw-r--r-- | 8.5 KB |
| L-ppload.ml | -rw-r--r-- | 1.0 KB |
| L-ppsave.ml | -rw-r--r-- | 769 bytes |
| L-resolve.ml | -rw-r--r-- | 2.4 KB |
| L-rul.ml | -rw-r--r-- | 8.3 KB |
| L-simpl.l | -rw-r--r-- | 5.3 KB |
| L-stack.ml | -rw-r--r-- | 2.7 KB |
| L-structac.ml | -rw-r--r-- | 7.5 KB |
| L-structaxm.ml | -rw-r--r-- | 15.2 KB |
| L-subst.l | -rw-r--r-- | 10.9 KB |
| L-tacont.ml | -rw-r--r-- | 5.3 KB |
| L-tacticals.ml | -rw-r--r-- | 5.1 KB |
| L-tactics.ml | -rw-r--r-- | 10.7 KB |
| L-taut.ml | -rw-r--r-- | 9.6 KB |
| L-thyfns.l | -rw-r--r-- | 27.3 KB |
| L-thyfns.ml | -rw-r--r-- | 2.3 KB |
| L-typeol.l | -rw-r--r-- | 5.2 KB |
| L-writol.l | -rw-r--r-- | 12.3 KB |
| Makefile | -rw-r--r-- | 4.4 KB |
| PPLAMB.th | -rw-r--r-- | 8.2 KB |
| S-constants.l | -rw-r--r-- | 8.5 KB |
| S-curry.ml | -rw-r--r-- | 846 bytes |
| S-debug.l | -rw-r--r-- | 2.5 KB |
| S-dml.l | -rw-r--r-- | 12.3 KB |
| S-dml.ml | -rw-r--r-- | 710 bytes |
| S-format.l | -rw-r--r-- | 12.8 KB |
| S-franz.l | -rw-r--r-- | 7.4 KB |
| S-gen.ml | -rw-r--r-- | 2.4 KB |
| S-gp.l | -rw-r--r-- | 3.7 KB |
| S-help.l | -rw-r--r-- | 818 bytes |
| S-iox-stand.l | -rw-r--r-- | 3.5 KB |
| S-lis.ml | -rw-r--r-- | 2.5 KB |
| S-list.l | -rw-r--r-- | 2.6 KB |
| S-macro.l | -rw-r--r-- | 5.5 KB |
| S-makeml.l | -rw-r--r-- | 1.2 KB |
| S-obj.l | -rw-r--r-- | 2.1 KB |
| S-parser.l | -rw-r--r-- | 94.5 KB |
| S-print.l | -rw-r--r-- | 22.3 KB |
| S-site.l | -rw-r--r-- | 961 bytes |
| S-tml.l | -rw-r--r-- | 16.4 KB |
| S-tran.l | -rw-r--r-- | 66.0 KB |
| S-type.l | -rw-r--r-- | 69.0 KB |
| S-unix.l | -rw-r--r-- | 1.8 KB |
| convml.sed | -rw-r--r-- | 237 bytes |
| llmac.l | -rw-r--r-- | 6.0 KB |
