Mon, 28 Dec 2015 21:47:32 +0100 |
wenzelm |
former "xsymbols" syntax is used by default, and ASCII replacement syntax with print mode "ASCII";
|
file |
diff |
annotate
|
Mon, 07 Dec 2015 10:38:04 +0100 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
Wed, 02 Dec 2015 19:14:57 +0100 |
haftmann |
modernized
|
file |
diff |
annotate
|
Mon, 09 Nov 2015 15:48:17 +0100 |
wenzelm |
qualifier is mandatory by default;
|
file |
diff |
annotate
|
Wed, 04 Nov 2015 08:13:52 +0100 |
ballarin |
Keyword 'rewrites' identifies rewrite morphisms.
|
file |
diff |
annotate
|
Fri, 09 Oct 2015 20:26:03 +0200 |
wenzelm |
discontinued specific HTML syntax;
|
file |
diff |
annotate
|
Sat, 18 Jul 2015 22:58:50 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
Mon, 22 Jun 2015 11:15:23 +0200 |
nipkow |
modernized name
|
file |
diff |
annotate
|
Tue, 17 Mar 2015 09:22:17 +0100 |
nipkow |
added lemmas
|
file |
diff |
annotate
|
Thu, 13 Nov 2014 12:35:55 +0100 |
nipkow |
added lemma
|
file |
diff |
annotate
|
Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|
Thu, 18 Sep 2014 15:07:43 +0200 |
haftmann |
product over monoids for lists
|
file |
diff |
annotate
|
Thu, 11 Sep 2014 23:12:32 +0200 |
haftmann |
abstract product over monoid for lists
|
file |
diff |
annotate
|
Wed, 03 Sep 2014 00:06:24 +0200 |
blanchet |
use 'datatype_new' in 'Main'
|
file |
diff |
annotate
|
Sun, 31 Aug 2014 09:10:42 +0200 |
haftmann |
separated listsum material
|
file |
diff |
annotate
|