Mon, 17 Oct 2016 11:46:22 +0200 |
nipkow |
setsum -> sum
|
file |
diff |
annotate
|
Fri, 19 Feb 2016 13:40:50 +0100 |
hoelzl |
generalize more theorems to support enat and ennreal
|
file |
diff |
annotate
|
Sat, 28 Jun 2014 09:16:42 +0200 |
haftmann |
fact consolidation
|
file |
diff |
annotate
|
Sun, 10 Nov 2013 15:05:06 +0100 |
haftmann |
qualifed popular user space names
|
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
|
Fri, 17 May 2013 08:19:52 +0200 |
nipkow |
replaced `;' by `;;' to disambiguate syntax; unexpected slight increase in build time
|
file |
diff |
annotate
|
Sat, 28 Apr 2012 07:38:22 +0200 |
nipkow |
renamed Semi to Seq
|
file |
diff |
annotate
|
Thu, 19 Apr 2012 20:19:13 +0200 |
nipkow |
added revised version of Abs_Int
|
file |
diff |
annotate
|
Thu, 19 Apr 2012 17:32:30 +0200 |
nipkow |
reorganised IMP
|
file |
diff |
annotate
| base
|