Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Makefile | 1992-12-04 12:52 | 5.5K | ||
READ-ME | 1992-12-04 12:52 | 11K | ||
boyer-moore.ml | 1992-12-04 12:52 | 414 | ||
clausal_form.ml | 1992-12-04 12:52 | 16K | ||
definitions.ml | 1992-12-04 12:52 | 7.3K | ||
environment.ml | 1992-12-04 12:52 | 11K | ||
equalities.ml | 1992-12-04 12:52 | 10K | ||
generalize.ml | 1992-12-04 12:52 | 14K | ||
induction.ml | 1992-12-04 12:52 | 8.8K | ||
irrelevance.ml | 1992-12-04 12:52 | 13K | ||
main.ml | 1992-12-04 12:52 | 7.4K | ||
rewrite_rules.ml | 1992-12-04 12:52 | 18K | ||
shells.ml | 1992-12-04 12:52 | 15K | ||
struct_equal.ml | 1992-12-04 12:52 | 18K | ||
support.ml | 1992-12-04 12:52 | 5.4K | ||
terms_and_clauses.ml | 1992-12-04 12:52 | 39K | ||
waterfall.ml | 1992-12-04 12:52 | 28K | ||