| 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 |