| Tue, 07 Nov 2006 11:46:47 +0100 | wenzelm | read_const: include type; | changeset | files |
| Tue, 07 Nov 2006 11:46:46 +0100 | wenzelm | renamed 'const_syntax' to 'notation'; | changeset | files |
| Tue, 07 Nov 2006 11:46:45 +0100 | wenzelm | updated; | changeset | files |
| Tue, 07 Nov 2006 11:28:25 +0100 | berghofe | Adapted to changes in FixedPoint theory. | changeset | files |
| Tue, 07 Nov 2006 09:59:43 +0100 | krauss | method exported | changeset | files |
| Tue, 07 Nov 2006 09:41:14 +0100 | krauss | updated NEWS | changeset | files |
| Tue, 07 Nov 2006 09:33:47 +0100 | krauss | * Added annihilation axioms ("x * 0 = 0") to axclass semiring_0. | changeset | files |
| Tue, 07 Nov 2006 08:03:46 +0100 | haftmann | added gfx | changeset | files |
| 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 |
| Sun, 05 Nov 2006 21:44:37 +0100 | wenzelm | added const_syntax_name; | changeset | files |
| Sun, 05 Nov 2006 21:44:35 +0100 | wenzelm | removed obsolete first_duplicate; | changeset | files |
| Sun, 05 Nov 2006 21:44:34 +0100 | wenzelm | added syntax_name; | changeset | files |
| Sun, 05 Nov 2006 21:44:33 +0100 | wenzelm | fixed print_translation for ALL/EX and <, <=, etc.; tuned syntax names; | changeset | files |
| Sun, 05 Nov 2006 21:44:32 +0100 | wenzelm | Sign.const_syntax_name; | changeset | files |
| Sun, 05 Nov 2006 09:36:25 +0100 | haftmann | added gfx | changeset | files |
| Sat, 04 Nov 2006 19:25:43 +0100 | wenzelm | removed checkpoint interface; | changeset | files |
| Sat, 04 Nov 2006 19:25:43 +0100 | wenzelm | String.compare: slow version -- performance test; | changeset | files |
| Sat, 04 Nov 2006 19:25:41 +0100 | wenzelm | replaced apply_copy by apply'; | changeset | files |
| Sat, 04 Nov 2006 19:25:41 +0100 | wenzelm | removed is_Trueprop (use can dest_Trueprop'' instead); | changeset | files |