| Tue, 04 Nov 1997 20:48:38 +0100 | oheimb | added the, option_map, and case analysis theorems | changeset | files |
| 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 |
| Tue, 04 Nov 1997 16:21:52 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 04 Nov 1997 16:17:04 +0100 | wenzelm | type object = exn (enhance readability); | changeset | files |
| Tue, 04 Nov 1997 15:16:23 +0100 | oheimb | *** empty log message *** | changeset | files |
| Tue, 04 Nov 1997 14:40:29 +0100 | oheimb | * removed "axioms" and "generated by" section | changeset | files |
| Tue, 04 Nov 1997 14:37:51 +0100 | oheimb | simplified (and corrected) syntax definition of fapp | changeset | files |
| Tue, 04 Nov 1997 14:09:37 +0100 | narasche | data kinds 'datatypes', data kinds 'records' added | changeset | files |
| Tue, 04 Nov 1997 13:35:13 +0100 | wenzelm | removed old datatype_info; | changeset | files |
| Tue, 04 Nov 1997 13:31:14 +0100 | wenzelm | added Thy/path.ML; | changeset | files |
| Tue, 04 Nov 1997 12:59:01 +0100 | nipkow | Logic.loops -> Logic.rewrite_rule_ok | changeset | files |
| Tue, 04 Nov 1997 12:58:10 +0100 | nipkow | logic: loops -> rewrite_rule_ok | changeset | files |
| Tue, 04 Nov 1997 12:46:50 +0100 | wenzelm | added path.ML; | changeset | files |
| Tue, 04 Nov 1997 12:44:17 +0100 | wenzelm | added base; | changeset | files |
| Tue, 04 Nov 1997 12:33:51 +0100 | wenzelm | Abstract algebra of file paths. External representation Unix-style. | changeset | files |
| Tue, 04 Nov 1997 12:04:57 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 04 Nov 1997 12:03:48 +0100 | wenzelm | removed old thy data stuff; | changeset | files |
| Tue, 04 Nov 1997 09:27:32 +0100 | wenzelm | fixed set_current_thy pattern; | changeset | files |
| Tue, 04 Nov 1997 09:26:15 +0100 | wenzelm | isatool fixclasimp; | changeset | files |
| Mon, 03 Nov 1997 21:56:59 +0100 | wenzelm | isatool fixclasimp; | changeset | files |
| Mon, 03 Nov 1997 21:15:08 +0100 | wenzelm | adapted to new datatypes thy info; | changeset | files |
| Mon, 03 Nov 1997 21:13:24 +0100 | wenzelm | tuned; | changeset | files |