Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
C8.ML | 1997-11-19 08:51 | 1.8K | ||
CT.ML | 1997-11-19 08:51 | 3.3K | ||
Gord.ML | 1997-11-19 08:51 | 3.5K | ||
Mad.ML | 1997-11-19 08:51 | 17K | ||
RA.ML | 1997-11-19 08:51 | 3.6K | ||
RA.thy | 1997-11-19 08:51 | 519 | ||
RS.ML | 1997-11-19 08:51 | 10K | ||
RS.tac | 1997-11-19 08:51 | 7.9K | ||
RS.thy | 1997-11-19 08:51 | 3.2K | ||
cut.ML | 1997-11-19 08:51 | 3.9K | ||
dRA.ML | 1997-11-19 08:51 | 3.9K | ||
dRA.tac | 1997-11-19 08:51 | 4.6K | ||
dRA.thy | 1997-11-19 08:51 | 1.6K | ||
ded.ML | 1997-11-19 08:51 | 1.7K | ||
flip.tac | 1997-11-19 08:51 | 1.8K | ||
glob.tac | 1997-11-19 08:51 | 5.5K | ||
latex.thy | 1997-11-19 08:51 | 2.8K | ||
name.ML | 1997-11-19 08:51 | 1.3K | ||
nglob.tac | 1997-11-19 08:51 | 2.9K | ||
pat.tac | 1997-11-19 08:51 | 6.3K | ||
peirce.ML | 1997-11-19 08:51 | 10K | ||
pftr.ML | 1997-12-02 14:16 | 6.1K | ||
tau.ML | 1997-11-19 08:51 | 1.2K | ||
thmisc.ML | 1997-11-19 08:51 | 1.9K | ||
tsl.ML | 1997-11-19 08:51 | 6.5K | ||
weak.tac | 1997-11-19 08:51 | 5.6K | ||