| Mon, 09 Mar 1998 16:14:32 +0100 | wenzelm | Symbol.is_*; | changeset | files |
| Mon, 09 Mar 1998 16:14:15 +0100 | wenzelm | adapted to new scanner, baroque chars; | changeset | files |
| Mon, 09 Mar 1998 16:13:21 +0100 | wenzelm | Symbol.input; | changeset | files |
| Mon, 09 Mar 1998 16:12:39 +0100 | wenzelm | adapted to symbols, scan; | changeset | files |
| Mon, 09 Mar 1998 16:12:19 +0100 | wenzelm | Generic scanners (for potentially infinite input) -- replaces Scanner; | changeset | files |
| Mon, 09 Mar 1998 16:11:50 +0100 | wenzelm | adapted to new scanner and abroque chars; | changeset | files |
| Mon, 09 Mar 1998 16:11:28 +0100 | wenzelm | read_var; | changeset | files |
| Mon, 09 Mar 1998 16:11:13 +0100 | wenzelm | Symbol.output; | changeset | files |
| Mon, 09 Mar 1998 16:10:57 +0100 | wenzelm | tuned syntax error msg; | changeset | files |
| Mon, 09 Mar 1998 16:10:38 +0100 | wenzelm | Symbol.explode; | changeset | files |
| Mon, 09 Mar 1998 16:10:22 +0100 | wenzelm | scan.ML, symbol.ML; | changeset | files |
| Mon, 09 Mar 1998 16:09:56 +0100 | wenzelm | adapted to new scanners and baroque chars; | changeset | files |
| Mon, 09 Mar 1998 16:09:32 +0100 | wenzelm | tuned some names; | changeset | files |
| Mon, 09 Mar 1998 16:09:06 +0100 | wenzelm | adapted to baroque chars; | changeset | files |
| Mon, 09 Mar 1998 16:08:37 +0100 | wenzelm | added merge_alists; | changeset | files |
| Mon, 09 Mar 1998 16:08:06 +0100 | wenzelm | Syntax.indexname; | changeset | files |
| Mon, 09 Mar 1998 16:07:22 +0100 | wenzelm | tuned comment; | changeset | files |
| Mon, 09 Mar 1998 16:07:03 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 09 Mar 1998 16:06:46 +0100 | wenzelm | replaced Pure/Syntax/symbol_font.ML by Pure/Syntax/symbol.ML; | changeset | files |
| Mon, 09 Mar 1998 16:05:34 +0100 | wenzelm | replaced Pure/Syntax/symbol_font.ML by Pure/Syntax/symbol.ML; | changeset | files |
| Sat, 07 Mar 1998 16:29:29 +0100 | nipkow | Removed `addsplits [expand_if]' | changeset | files |
| Fri, 06 Mar 1998 18:25:28 +0100 | wenzelm | added clasimp.ML; | changeset | files |
| Fri, 06 Mar 1998 16:05:04 +0100 | nipkow | Removed superfluous `op' | changeset | files |
| Fri, 06 Mar 1998 15:58:16 +0100 | nipkow | *** empty log message *** | changeset | files |
| Fri, 06 Mar 1998 15:20:29 +0100 | nipkow | Added delspilts, Addsplits, Delsplits. | changeset | files |
| Fri, 06 Mar 1998 15:19:29 +0100 | nipkow | expand_if is now by default part of the simpset. | changeset | files |
| Thu, 05 Mar 1998 10:47:27 +0100 | paulson | New theorem and simprules | changeset | files |
| Wed, 04 Mar 1998 13:16:05 +0100 | nipkow | Reorganized simplifier. May now reorient rules. | changeset | files |
| Wed, 04 Mar 1998 13:15:05 +0100 | nipkow | Reorganized simplifier. May now reorient rules. | changeset | files |
| Wed, 04 Mar 1998 13:14:11 +0100 | nipkow | Reorganized simplifier. May now reorient rules. | changeset | files |
| Tue, 03 Mar 1998 15:15:04 +0100 | paulson | Better simplification allows deletion of parts of proofs | changeset | files |
| Tue, 03 Mar 1998 15:13:24 +0100 | paulson | New theorem | changeset | files |