| Mon, 06 Nov 2006 16:29:21 +0100 | haftmann | dropped blastdata.ML | changeset | files |
| Mon, 06 Nov 2006 16:28:37 +0100 | haftmann | (adjustions) | changeset | files |
| Mon, 06 Nov 2006 16:28:36 +0100 | haftmann | two further lemmas on split | changeset | files |
| Mon, 06 Nov 2006 16:28:35 +0100 | haftmann | removed dependency of ord on eq | changeset | files |
| Mon, 06 Nov 2006 16:28:34 +0100 | haftmann | removed itrev as inlining theorem | changeset | files |
| Mon, 06 Nov 2006 16:28:33 +0100 | haftmann | added state monad to HOL library | changeset | files |
| Mon, 06 Nov 2006 16:28:31 +0100 | haftmann | code generator module naming improved | changeset | files |
| Mon, 06 Nov 2006 16:28:30 +0100 | haftmann | (continued) | changeset | files |
| Mon, 06 Nov 2006 16:28:29 +0100 | haftmann | (continued) | changeset | files |
| Mon, 06 Nov 2006 12:04:44 +0100 | krauss | minor cleanup | changeset | files |
| Sun, 05 Nov 2006 21:44:42 +0100 | wenzelm | case_tr: do not intern already internal consts; | changeset | files |
| Sun, 05 Nov 2006 21:44:41 +0100 | wenzelm | updated; | changeset | files |
| Sun, 05 Nov 2006 21:44:40 +0100 | wenzelm | removed isactrlconst; | changeset | files |
| Sun, 05 Nov 2006 21:44:39 +0100 | wenzelm | instantiate: avoid global references; | changeset | files |