Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Makefile | 1992-12-04 12:50 | 307 | ||
READ-ME | 1992-12-04 12:50 | 377 | ||
prenex.ml | 1992-12-04 12:50 | 38K | ||
prenex_ml.o | 1992-12-04 12:50 | 112K | ||
q.th | 1992-12-04 12:50 | 6.8K | ||
quant.ml | 1992-12-04 12:50 | 18K | ||
quant.th | 1992-12-04 12:50 | 6.7K | ||