| Wed, 17 May 2006 22:36:08 +0200 | wenzelm | * Pure: syntax 'CONST name' produces a fully internalized constant; | changeset | files |
| Wed, 17 May 2006 22:34:52 +0200 | wenzelm | added CONST syntax; | changeset | files |
| Wed, 17 May 2006 22:34:50 +0200 | wenzelm | export generic term_syntax; | changeset | files |
| Wed, 17 May 2006 22:34:49 +0200 | wenzelm | consts: replaced early'' flag by inverted authentic''; | changeset | files |
| Wed, 17 May 2006 22:34:47 +0200 | wenzelm | added mapping; | changeset | files |
| Wed, 17 May 2006 22:34:45 +0200 | wenzelm | replaced early'' flag by inverted authentic''; | changeset | files |
| Wed, 17 May 2006 22:34:44 +0200 | wenzelm | renamed CONST to CONSTANT; | changeset | files |
| Wed, 17 May 2006 12:28:47 +0200 | paulson | removing the string array from the result of get_clasimp_atp_lemmas | changeset | files |
| Wed, 17 May 2006 01:23:48 +0200 | wenzelm | const_syntax; | changeset | files |
| Wed, 17 May 2006 01:23:46 +0200 | wenzelm | always preserve authentic consts -- removed Syntax.mixfix_const; | changeset | files |
| Wed, 17 May 2006 01:23:44 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 17 May 2006 01:23:43 +0200 | wenzelm | removed outdated/redundant comments; | changeset | files |
| Wed, 17 May 2006 01:23:41 +0200 | wenzelm | prefer 'definition' over low-level defs; | changeset | files |
| Wed, 17 May 2006 01:23:40 +0200 | wenzelm | tuned source/document; | changeset | files |
| Tue, 16 May 2006 21:34:06 +0200 | wenzelm | hide const subst; | changeset | files |
| Tue, 16 May 2006 21:33:26 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 16 May 2006 21:33:24 +0200 | wenzelm | const_syntax; | changeset | files |
| Tue, 16 May 2006 21:33:23 +0200 | wenzelm | * Isar/locale: 'const_syntax'; | changeset | files |
| Tue, 16 May 2006 21:33:21 +0200 | wenzelm | added const_syntax(_i); | changeset | files |
| Tue, 16 May 2006 21:33:18 +0200 | wenzelm | export consts_of; | changeset | files |
| Tue, 16 May 2006 21:33:16 +0200 | wenzelm | replaced abbrevs by term_syntax, which is both simpler and more general; | changeset | files |
| Tue, 16 May 2006 21:33:14 +0200 | wenzelm | added syntax interface; | changeset | files |
| Tue, 16 May 2006 21:33:11 +0200 | wenzelm | added add_modesyntax; | changeset | files |
| Tue, 16 May 2006 21:33:09 +0200 | wenzelm | added 'const_syntax'; | changeset | files |
| Tue, 16 May 2006 21:33:07 +0200 | wenzelm | added add_const_syntax, add_consts_authentic; | changeset | files |
| Tue, 16 May 2006 21:33:05 +0200 | wenzelm | added syntax interface; | changeset | files |
| Tue, 16 May 2006 21:33:01 +0200 | wenzelm | tuned concrete syntax -- abbreviation/const_syntax; | changeset | files |
| Tue, 16 May 2006 21:32:56 +0200 | wenzelm | updated; | changeset | files |
| Tue, 16 May 2006 20:28:02 +0200 | wenzelm | updated; | changeset | files |
| Tue, 16 May 2006 18:31:46 +0200 | wenzelm | * Pure/library: divide_and_conquer; | changeset | files |