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