Wed, 09 Sep 2015 14:47:41 +0200 |
wenzelm |
eliminated \<Colon> from syntax of constraints;
|
file |
diff |
annotate
|
Tue, 07 Oct 2014 23:12:08 +0200 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Fri, 21 Mar 2014 11:06:39 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Fri, 21 Mar 2014 10:45:03 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
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
|