| Sun, 31 Aug 2014 09:10:42 +0200 |
haftmann |
separated listsum material
|
file |
diff |
annotate
|
| Fri, 18 Jul 2014 14:03:09 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Sun, 16 Feb 2014 18:39:40 +0100 |
blanchet |
folded 'Option.set' into BNF-generated 'set_option'
|
file |
diff |
annotate
|
| Fri, 14 Feb 2014 07:53:46 +0100 |
blanchet |
merged 'Option.map' and 'Option.map_option'
|
file |
diff |
annotate
|
| Sun, 15 Dec 2013 15:10:14 +0100 |
haftmann |
more algebraic terminology for theories about big operators
|
file |
diff |
annotate
|
| Mon, 09 Dec 2013 12:22:23 +0100 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
| Fri, 30 Aug 2013 14:07:49 +0200 |
nipkow |
more set syntax
|
file |
diff |
annotate
|
| Tue, 13 Aug 2013 16:25:47 +0200 |
wenzelm |
standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
|
file |
diff |
annotate
|
| Sat, 23 Mar 2013 20:50:39 +0100 |
haftmann |
fundamental revision of big operators on sets
|
file |
diff |
annotate
|
| Wed, 19 Dec 2012 22:44:24 +0100 |
nipkow |
tuned infix table
|
file |
diff |
annotate
|
| Mon, 17 Dec 2012 18:23:08 +0100 |
nipkow |
added table of infix operators
|
file |
diff |
annotate
|
| Tue, 28 Aug 2012 18:57:32 +0200 |
wenzelm |
renamed doc-src to src/Doc;
|
file |
diff |
annotate
| base
|