https://github.com/JacquesCarette/hol-light
Tip revision: b27a524086caf73530b7c2c5da1b237d3539f143 authored by Jacques Carette on 24 August 2020, 14:18:07 UTC
Merge pull request #35 from sjjs7/final-changes
Merge pull request #35 from sjjs7/final-changes
Tip revision: b27a524
File | Mode | Size |
---|---|---|
README | -rw-r--r-- | 1.0 KB |
birkhoff.ml | -rw-r--r-- | 54.6 KB |
canon.ml | -rw-r--r-- | 31.3 KB |
fol.ml | -rw-r--r-- | 47.2 KB |
fol_prop.ml | -rw-r--r-- | 14.5 KB |
fole.ml | -rw-r--r-- | 51.6 KB |
given.ml | -rw-r--r-- | 93.3 KB |
givensem.ml | -rw-r--r-- | 45.0 KB |
herbrand.ml | -rw-r--r-- | 8.0 KB |
linear.ml | -rw-r--r-- | 35.5 KB |
lpo.ml | -rw-r--r-- | 39.4 KB |
make.ml | -rw-r--r-- | 3.2 KB |
positive.ml | -rw-r--r-- | 65.6 KB |
prenex.ml | -rw-r--r-- | 30.0 KB |
prolog.ml | -rw-r--r-- | 38.2 KB |
resolution.ml | -rw-r--r-- | 37.3 KB |
skolem.ml | -rw-r--r-- | 56.0 KB |
support.ml | -rw-r--r-- | 44.7 KB |
trs.ml | -rw-r--r-- | 12.0 KB |
unif.ml | -rw-r--r-- | 91.7 KB |