| Mon, 13 Nov 2006 20:10:02 +0100 | wenzelm | antiquotation "theory": proper output, only check via ThyInfo.theory; | changeset | files |
| Mon, 13 Nov 2006 20:08:52 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 13 Nov 2006 20:08:20 +0100 | wenzelm | added antiquotation @{theory name}; | changeset | files |
| Mon, 13 Nov 2006 18:19:24 +0100 | wenzelm | fixed comment -- oops; | changeset | files |
| Mon, 13 Nov 2006 15:55:38 +0100 | haftmann | adjusted to new fun'' | changeset | files |
| Mon, 13 Nov 2006 15:45:34 +0100 | haftmann | *** empty log message *** | changeset | files |
| Mon, 13 Nov 2006 15:43:24 +0100 | haftmann | added antiquotation theory | changeset | files |
| Mon, 13 Nov 2006 15:43:16 +0100 | haftmann | cleaned up | changeset | files |
| Mon, 13 Nov 2006 15:43:15 +0100 | haftmann | added theory antiquotation | changeset | files |
| Mon, 13 Nov 2006 15:43:14 +0100 | haftmann | combinator for overwriting changes with warning | changeset | files |
| Mon, 13 Nov 2006 15:43:13 +0100 | haftmann | added higher-order combinators for structured results | changeset | files |
| Mon, 13 Nov 2006 15:43:12 +0100 | haftmann | adjusted name in generated code | changeset | files |
| Mon, 13 Nov 2006 15:43:11 +0100 | haftmann | dropped LOrder dependency | changeset | files |
| Mon, 13 Nov 2006 15:43:09 +0100 | haftmann | moved upwars in HOL theory graph | changeset | files |
| Mon, 13 Nov 2006 15:43:08 +0100 | haftmann | added thy dependencies | changeset | files |
| Mon, 13 Nov 2006 15:43:07 +0100 | haftmann | PreList = Main - List | changeset | files |
| Mon, 13 Nov 2006 15:43:06 +0100 | haftmann | introduces preorders | changeset | files |
| Mon, 13 Nov 2006 15:43:05 +0100 | haftmann | dropped Inductive dependency | changeset | files |
| Mon, 13 Nov 2006 15:43:04 +0100 | haftmann | dropped Typedef dependency | changeset | files |
| Mon, 13 Nov 2006 15:43:03 +0100 | haftmann | added LOrder dependency | changeset | files |
| Mon, 13 Nov 2006 15:43:00 +0100 | haftmann | tuned ml antiquotations | changeset | files |
| Mon, 13 Nov 2006 15:42:59 +0100 | haftmann | adjusted | changeset | files |
| Mon, 13 Nov 2006 15:42:58 +0100 | haftmann | tuned | changeset | files |
| Mon, 13 Nov 2006 15:42:57 +0100 | haftmann | added tt tag | changeset | files |
| Mon, 13 Nov 2006 15:01:59 +0100 | krauss | auto_term => lexicographic_order | changeset | files |
| Mon, 13 Nov 2006 13:53:48 +0100 | krauss | updated | changeset | files |
| Mon, 13 Nov 2006 13:51:22 +0100 | krauss | replaced "auto_term" by the simpler method "relation", which does not try | changeset | files |
| Mon, 13 Nov 2006 12:10:49 +0100 | wenzelm | added fresh_prodD, which is included fresh_prodD into mksimps setup; | changeset | files |
| Mon, 13 Nov 2006 11:41:40 +0100 | krauss | added lexicographic_order.ML to makefile | changeset | files |
| Sun, 12 Nov 2006 21:31:52 +0100 | nipkow | image_constant_conv no longer [simp] | changeset | files |