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 |
|---|---|---|
| testset | ||
| README | -rw-r--r-- | 884 bytes |
| boyer-moore.ml | -rw-r--r-- | 801 bytes |
| clausal_form.ml | -rw-r--r-- | 17.3 KB |
| counterexample.ml | -rw-r--r-- | 10.5 KB |
| definitions.ml | -rw-r--r-- | 7.8 KB |
| environment.ml | -rw-r--r-- | 14.2 KB |
| equalities.ml | -rw-r--r-- | 10.8 KB |
| generalize.ml | -rw-r--r-- | 30.0 KB |
| induction.ml | -rw-r--r-- | 9.0 KB |
| irrelevance.ml | -rw-r--r-- | 14.5 KB |
| main.ml | -rw-r--r-- | 12.1 KB |
| make.ml | -rw-r--r-- | 8.3 KB |
| rewrite_rules.ml | -rw-r--r-- | 17.8 KB |
| shells.ml | -rw-r--r-- | 16.5 KB |
| struct_equal.ml | -rw-r--r-- | 19.7 KB |
| support.ml | -rw-r--r-- | 9.8 KB |
| terms_and_clauses.ml | -rw-r--r-- | 43.0 KB |
| waterfall.ml | -rw-r--r-- | 38.0 KB |
