| Fri, 08 Apr 2011 17:45:37 +0200 | wenzelm | renamed sprop "prop#" to "prop'" -- proper identifier; | file | diff | annotate |
| Fri, 08 Apr 2011 15:02:11 +0200 | wenzelm | discontinued special treatment of structure Syntax_Ext (formerly Syn_Ext); | file | diff | annotate |
| Wed, 29 Dec 2010 17:34:41 +0100 | wenzelm | explicit file specifications -- avoid secondary load path; | file | diff | annotate |
| Mon, 22 Nov 2010 09:37:39 +0100 | haftmann | renamed slightly ambivalent crel to effect | file | diff | annotate |
| Thu, 04 Nov 2010 13:42:36 +0100 | haftmann | added note on countable types | file | diff | annotate |
| Mon, 27 Sep 2010 11:12:08 +0200 | haftmann | added hint on reference equality | file | diff | annotate |
| Wed, 22 Sep 2010 10:30:24 +0200 | haftmann | tuned text | file | diff | annotate |
| Mon, 13 Sep 2010 14:54:05 +0200 | haftmann | added Imperative HOL overview | file | diff | annotate |