Wed, 15 Jul 2009 23:48:21 +0200 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Tue, 23 Jun 2009 16:27:12 +0200 |
haftmann |
tuned interfaces of datatype module
|
file |
diff |
annotate
|
Fri, 19 Jun 2009 17:23:21 +0200 |
haftmann |
discontinued ancient tradition to suffix certain ML module names with "_package"
|
file |
diff |
annotate
|
Sun, 15 Mar 2009 15:59:44 +0100 |
wenzelm |
simplified attribute setup;
|
file |
diff |
annotate
|
Sun, 08 Mar 2009 17:26:14 +0100 |
wenzelm |
moved basic algebra of long names from structure NameSpace to Long_Name;
|
file |
diff |
annotate
|
Thu, 05 Mar 2009 20:17:02 +0100 |
wenzelm |
removed spurious occurrences of old rep_ss;
|
file |
diff |
annotate
|
Thu, 05 Mar 2009 12:08:00 +0100 |
wenzelm |
renamed NameSpace.base to NameSpace.base_name;
|
file |
diff |
annotate
|
Thu, 01 Jan 2009 23:31:49 +0100 |
wenzelm |
normalized some ML type/val aliases;
|
file |
diff |
annotate
|
Wed, 10 Dec 2008 22:55:15 +0100 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Mon, 22 Sep 2008 08:00:24 +0200 |
haftmann |
fixed headers
|
file |
diff |
annotate
|
Mon, 23 Jun 2008 23:45:39 +0200 |
wenzelm |
Logic.all/mk_equals/mk_implies;
|
file |
diff |
annotate
|
Mon, 09 Jun 2008 17:31:25 +0200 |
wenzelm |
DatatypePackage.distinct_simproc;
|
file |
diff |
annotate
|
Sat, 29 Mar 2008 22:55:49 +0100 |
wenzelm |
purely functional setup of claset/simpset/clasimpset;
|
file |
diff |
annotate
|
Mon, 12 Nov 2007 11:07:22 +0100 |
schirmer |
added signatures;
|
file |
diff |
annotate
|
Wed, 24 Oct 2007 18:36:09 +0200 |
schirmer |
added Statespace library
|
file |
diff |
annotate
|