| Wed, 18 Aug 2010 12:19:27 +0200 | haftmann | deglobalization | changeset | files |
| Wed, 18 Aug 2010 12:08:21 +0200 | haftmann | more antiquotations | changeset | files |
| Wed, 18 Aug 2010 11:55:27 +0200 | haftmann | added equality instantiation | changeset | files |
| Wed, 18 Aug 2010 11:18:24 +0200 | haftmann | use command_def more consciously | changeset | files |
| Wed, 18 Aug 2010 11:18:23 +0200 | haftmann | stub for evaluation chapter | changeset | files |
| Wed, 18 Aug 2010 10:07:57 +0200 | haftmann | updated generated document | changeset | files |
| Wed, 18 Aug 2010 10:07:56 +0200 | haftmann | dropped errorneous underscore | changeset | files |
| Wed, 18 Aug 2010 10:07:56 +0200 | haftmann | output whitespace tuning | changeset | files |
| Wed, 18 Aug 2010 10:07:56 +0200 | haftmann | use command_def | changeset | files |
| Wed, 18 Aug 2010 09:55:00 +0200 | haftmann | use command_def vs. command more consciously | changeset | files |
| Wed, 18 Aug 2010 09:46:59 +0200 | haftmann | removed Code_Prolog: modifies global environment setup non-conservatively | changeset | files |
| Wed, 18 Aug 2010 09:46:59 +0200 | haftmann | pretty constraint syntax; tuned theory imports | changeset | files |
| Wed, 18 Aug 2010 09:46:59 +0200 | haftmann | added quick and dirty section on invariants | changeset | files |
| Wed, 18 Aug 2010 09:46:58 +0200 | haftmann | base on HOL-Library | changeset | files |