| Thu, 08 Jul 2010 16:48:33 +0200 | haftmann | updated documentation | file | diff | annotate |
| Thu, 17 Jun 2010 10:45:10 +0200 | haftmann | added simp evaluator | file | diff | annotate |
| Mon, 14 Jun 2010 10:50:49 +0200 | haftmann | tuned internal order | file | diff | annotate |
| Mon, 14 Jun 2010 10:38:28 +0200 | haftmann | corrected syntax diagram | file | diff | annotate |
| Wed, 28 Apr 2010 12:18:49 +0200 | wenzelm | removed material that is out of scope of this manual; | file | diff | annotate |
| Thu, 15 Apr 2010 20:56:04 +0200 | wenzelm | HOL record: explicitly allow sort constraints; | file | diff | annotate |
| Wed, 14 Apr 2010 19:46:36 +0200 | hoelzl | Spelling error: theroems -> theorems | file | diff | annotate |