Tue, 02 Sep 2008 14:10:45 +0200 |
wenzelm |
explicit type Name.binding for higher-specification elements;
|
file |
diff |
annotate
|
Fri, 25 Jul 2008 12:03:32 +0200 |
haftmann |
dropped locale (open)
|
file |
diff |
annotate
|
Thu, 19 Jun 2008 21:14:30 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 19 Jun 2008 20:48:00 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sat, 29 Mar 2008 22:55:49 +0100 |
wenzelm |
purely functional setup of claset/simpset/clasimpset;
|
file |
diff |
annotate
|
Sat, 29 Mar 2008 13:03:09 +0100 |
wenzelm |
eliminated quiete_mode ref (not really needed);
|
file |
diff |
annotate
|
Thu, 20 Mar 2008 00:20:44 +0100 |
wenzelm |
simplified get_thm(s): back to plain name argument;
|
file |
diff |
annotate
|
Wed, 19 Mar 2008 22:27:57 +0100 |
wenzelm |
renamed datatype thmref to Facts.ref, tuned interfaces;
|
file |
diff |
annotate
|
Mon, 28 Jan 2008 22:27:19 +0100 |
wenzelm |
added ::: / @@@ scanner combinators;
|
file |
diff |
annotate
|
Tue, 18 Dec 2007 19:54:30 +0100 |
wenzelm |
PrintMode.setmp (avoid direct access to print_mode ref);
|
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
|