| Wed, 06 Jul 2005 10:41:41 +0200 | wenzelm | added adhoc string_of_term from Pure/term.ML; | changeset | files |
| Wed, 06 Jul 2005 10:41:40 +0200 | wenzelm | removed term_lpo (now in Pure/term.ML); | changeset | files |
| Wed, 06 Jul 2005 10:41:38 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 06 Jul 2005 10:34:07 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 06 Jul 2005 10:30:24 +0200 | wenzelm | changed file permissions; | changeset | files |
| Wed, 06 Jul 2005 10:29:48 +0200 | wenzelm | changing file permissions ... | changeset | files |
| Wed, 06 Jul 2005 00:08:57 +0200 | huffman | add keywords cpodef, pcpodef (for HOLCF) | changeset | files |
| Wed, 06 Jul 2005 00:07:53 +0200 | huffman | renamed to Pcpodef.thy | changeset | files |