| Mon, 08 May 2006 17:40:08 +0200 | wenzelm | Defs.define: const_typargs; | changeset | files |
| Mon, 08 May 2006 17:40:07 +0200 | wenzelm | added raw_string_of_sort/typ/term; | changeset | files |
| Mon, 08 May 2006 17:40:06 +0200 | wenzelm | simple substructure test for typargs (independent type constructors); | changeset | files |
| Mon, 08 May 2006 17:40:05 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 08 May 2006 12:23:57 +0200 | webertj | string_of_option tuned | changeset | files |
| Sun, 07 May 2006 00:47:07 +0200 | wenzelm | * Isar: removed obsolete 'concl is' patterns. | changeset | files |
| Sun, 07 May 2006 00:44:50 +0200 | wenzelm | removed 'concl is' pattern; | changeset | files |
| Sun, 07 May 2006 00:22:05 +0200 | wenzelm | removed 'concl is' patterns; | changeset | files |