| Mon, 16 Feb 2009 21:23:34 +0100 | wenzelm | removed rudiments of glossary; | changeset | files |
| Mon, 16 Feb 2009 21:23:33 +0100 | wenzelm | removed rudiments of glossary; | changeset | files |
| Mon, 16 Feb 2009 21:04:15 +0100 | wenzelm | removed unused glossary macros; | changeset | files |
| Mon, 16 Feb 2009 20:49:39 +0100 | wenzelm | updated generated files; | changeset | files |
| Mon, 16 Feb 2009 20:47:44 +0100 | wenzelm | observe usual theory naming conventions; | changeset | files |
| Mon, 16 Feb 2009 20:25:21 +0100 | wenzelm | updated generated files; | changeset | files |
| Mon, 16 Feb 2009 20:23:43 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 16 Feb 2009 20:15:40 +0100 | wenzelm | modernized some theory names; | changeset | files |
| Mon, 16 Feb 2009 20:07:05 +0100 | wenzelm | eliminated old 'axclass'; | changeset | files |
| Mon, 16 Feb 2009 12:57:53 +0100 | wenzelm | avoid redefinition of FIXES/ASSUMES/SHOWS macros; | changeset | files |
| Mon, 16 Feb 2009 12:47:49 +0100 | wenzelm | removed obsolete .cvsignore files; | changeset | files |
| Mon, 16 Feb 2009 12:27:30 +0100 | wenzelm | removed obsolete axclass manual and examples; | changeset | files |
| Sun, 15 Feb 2009 21:26:25 +0100 | wenzelm | explicit section for old/outdated manuals, which are still informative to some extent; | changeset | files |
| Sun, 15 Feb 2009 18:56:13 +0100 | wenzelm | updated generated files; | changeset | files |
| Sun, 15 Feb 2009 18:54:50 +0100 | wenzelm | added introduction; | changeset | files |
| Sun, 15 Feb 2009 18:54:00 +0100 | wenzelm | added label; | changeset | files |
| Sun, 15 Feb 2009 18:53:41 +0100 | wenzelm | removed obsolete section "User interfaces"; | changeset | files |
| Sun, 15 Feb 2009 18:50:51 +0100 | wenzelm | tuned spacing; | changeset | files |
| Sun, 15 Feb 2009 18:11:35 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 15 Feb 2009 17:48:02 +0100 | wenzelm | updated generated files; | changeset | files |
| Sun, 15 Feb 2009 17:47:49 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 14 Feb 2009 22:58:30 +0100 | wenzelm | added Isar/VM mode transition diagram; | changeset | files |
| Sat, 14 Feb 2009 21:37:04 +0100 | wenzelm | replaced 'assm' by 'assume' -- regular 'assume' is default, if inference is omitted; | changeset | files |
| Sat, 14 Feb 2009 21:34:12 +0100 | wenzelm | clean_string/clean_name: proper treatment of \<dash>; | changeset | files |
| Fri, 13 Feb 2009 19:41:14 +0100 | wenzelm | misc tuning; | changeset | files |
| Thu, 12 Feb 2009 22:23:09 +0100 | wenzelm | added section "Canonical reasoning patterns"; | changeset | files |
| Thu, 12 Feb 2009 21:15:54 +0100 | wenzelm | improved sorry/noproof markup; | changeset | files |
| Thu, 12 Feb 2009 11:36:15 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 12 Feb 2009 11:19:54 +0100 | wenzelm | updated generated files; | changeset | files |
| Thu, 12 Feb 2009 11:19:12 +0100 | wenzelm | added example "First-Order Logic" -- mostly from Trybulec Festschrift; | changeset | files |
| Wed, 11 Feb 2009 21:41:05 +0100 | wenzelm | more on Isar framework -- mostly from Trybulec Festschrift; | changeset | files |
| Wed, 11 Feb 2009 21:40:16 +0100 | wenzelm | more refs; | changeset | files |
| Wed, 11 Feb 2009 21:39:59 +0100 | wenzelm | some more Isar elements; | changeset | files |
| Wed, 11 Feb 2009 21:39:37 +0100 | wenzelm | added "inference" entity; | changeset | files |
| Wed, 11 Feb 2009 21:39:12 +0100 | wenzelm | some more macros; | changeset | files |
| Wed, 11 Feb 2009 21:38:28 +0100 | wenzelm | proof/qed: optional methods; | changeset | files |
| Wed, 11 Feb 2009 21:38:03 +0100 | wenzelm | tuned formal markup; | changeset | files |
| Mon, 09 Feb 2009 21:13:10 +0100 | wenzelm | updated generated files; | changeset | files |
| Mon, 09 Feb 2009 21:09:24 +0100 | wenzelm | added introductory examples; | changeset | files |
| Mon, 09 Feb 2009 21:08:59 +0100 | wenzelm | set quick_and_dirty; | changeset | files |
| Mon, 09 Feb 2009 20:37:10 +0100 | wenzelm | tuned chapter heading; | changeset | files |
| Mon, 09 Feb 2009 20:36:53 +0100 | wenzelm | added parts; | changeset | files |
| Mon, 09 Feb 2009 12:57:05 +0100 | wenzelm | updated generated files; | changeset | files |
| Mon, 09 Feb 2009 12:52:16 +0100 | wenzelm | basic setup for chapter "The Isabelle/Isar Framework"; | changeset | files |
| Mon, 09 Feb 2009 12:49:13 +0100 | wenzelm | more refs; | changeset | files |
| Mon, 02 Feb 2009 22:16:41 +0100 | wenzelm | Compatibility wrapper for experimental versions of Poly/ML after 5.2.1. | changeset | files |
| Mon, 02 Feb 2009 15:12:22 +0100 | krauss | export lexicographic_order_tac | changeset | files |
| Mon, 02 Feb 2009 15:12:18 +0100 | krauss | fix potential incompleteness in SAT encoding | changeset | files |
| Mon, 02 Feb 2009 13:56:24 +0100 | haftmann | avoid name clash of generated modules and includes | changeset | files |
| Mon, 02 Feb 2009 13:56:23 +0100 | haftmann | strict check for locale target | changeset | files |
| Mon, 02 Feb 2009 13:56:23 +0100 | haftmann | fixed proposition slip | changeset | files |
| Mon, 02 Feb 2009 13:56:22 +0100 | haftmann | added Mapping.thy to Library | changeset | files |
| Mon, 02 Feb 2009 13:56:22 +0100 | haftmann | dropped Id | changeset | files |
| Mon, 02 Feb 2009 09:27:54 +0100 | haftmann | updated type class section | changeset | files |
| Mon, 02 Feb 2009 09:01:14 +0100 | haftmann | updated class documentation | changeset | files |
| Sun, 01 Feb 2009 19:59:20 +0100 | haftmann | merged | changeset | files |
| Sun, 01 Feb 2009 19:59:04 +0100 | haftmann | added State_Monad theory in session | changeset | files |
| Sun, 01 Feb 2009 19:58:02 +0100 | haftmann | proper declared constants in class expressions | changeset | files |
| Sat, 31 Jan 2009 09:04:42 +0100 | nipkow | merged | changeset | files |
| Sat, 31 Jan 2009 09:04:16 +0100 | nipkow | added some simp rules | changeset | files |