Thu, 26 May 2016 17:51:22 +0200 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
Tue, 23 Feb 2016 16:25:08 +0100 |
nipkow |
more canonical names
|
file |
diff |
annotate
|
Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|
Sun, 06 Nov 2011 16:29:22 +0100 |
wenzelm |
tuned document;
|
file |
diff |
annotate
|
Wed, 07 Sep 2011 00:08:09 +0200 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
Sun, 13 Mar 2011 22:55:50 +0100 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
Fri, 27 Aug 2010 22:30:25 +0200 |
wenzelm |
modernized specifications;
|
file |
diff |
annotate
|
Mon, 01 Mar 2010 13:40:23 +0100 |
haftmann |
replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
|
file |
diff |
annotate
|
Thu, 11 Feb 2010 22:55:16 +0100 |
wenzelm |
formal markup of @{syntax_const} and @{const_syntax};
|
file |
diff |
annotate
|
Mon, 12 Nov 2007 11:07:22 +0100 |
schirmer |
added signatures;
|
file |
diff |
annotate
|
Wed, 24 Oct 2007 19:21:40 +0200 |
wenzelm |
be explicit about .ML files;
|
file |
diff |
annotate
|
Wed, 24 Oct 2007 18:36:09 +0200 |
schirmer |
added Statespace library
|
file |
diff |
annotate
|