Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Makefile | 1991-01-29 12:34 | 2.3K | ||
READ-ME | 1989-12-29 11:53 | 1.8K | ||
auxiliary.ml | 1993-05-18 14:19 | 2.4K | ||
auxiliary.ml.new | 1993-05-18 14:19 | 1.0K | ||
auxiliary.ml.old | 1993-05-17 16:27 | 2.4K | ||
conversions.ml | 1990-10-07 19:14 | 4.4K | ||
functions.ml | 1989-12-29 11:53 | 207 | ||
lib.shar | 1989-12-29 11:53 | 24K | ||
load_auxiliary.ml | 1993-05-17 12:55 | 1.4K | ||
load_auxiliary.ml.old | 1993-05-17 12:37 | 1.3K | ||
rules.ml | 1989-12-29 11:53 | 132 | ||
tactics.ml | 1990-04-27 11:17 | 3.9K | ||
theorems.ml | 1991-01-29 12:34 | 8.1K | ||