| Tue, 04 Nov 1997 20:47:38 +0100 | oheimb | added zip and nodup | changeset | files |
| Tue, 04 Nov 1997 20:46:56 +0100 | oheimb | added theorems for Eps | changeset | files |
| Tue, 04 Nov 1997 17:16:26 +0100 | wenzelm | tuned usage; | changeset | files |
| Tue, 04 Nov 1997 17:12:13 +0100 | wenzelm | HOLCFLogic.ML, contconsts.ML renamed to holcf_logic.ML, cont_consts.ML; | changeset | files |
| Tue, 04 Nov 1997 16:57:52 +0100 | wenzelm | tuned to make non-Poly/MLs happy; | changeset | files |
| Tue, 04 Nov 1997 16:49:35 +0100 | wenzelm | tuned 'records' stuff; | changeset | files |
| Tue, 04 Nov 1997 16:46:02 +0100 | wenzelm | added pretty_ctyp; | changeset | files |