| Mon, 08 May 2006 21:40:40 +0200 | huffman | speed improvements: expand LCF sublanguage to recognize any constant subterm; also add memoization to cont_tac | changeset | files |
| Mon, 08 May 2006 17:40:25 +0200 | wenzelm | quoted 'termination' command; | changeset | files |
| 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 |