| Wed, 19 Aug 2015 19:18:19 +0100 |
paulson |
New material and fixes related to the forthcoming Stone-Weierstrass development
|
file |
diff |
annotate
|
| Fri, 04 Jul 2014 20:18:47 +0200 |
haftmann |
reduced name variants for assoc and commute on plus and mult
|
file |
diff |
annotate
|
| Wed, 15 Jan 2014 08:01:36 +0100 |
nipkow |
tuned
|
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
|
| Thu, 25 Jul 2013 08:57:16 +0200 |
haftmann |
factored syntactic type classes for bot and top (by Alessandro Coglio)
|
file |
diff |
annotate
|
| Wed, 03 Jul 2013 16:07:00 +0200 |
nipkow |
tuned names
|
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
|
| Tue, 14 May 2013 06:54:31 +0200 |
nipkow |
tuned names
|
file |
diff |
annotate
|
| Fri, 10 May 2013 06:34:29 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Tue, 30 Apr 2013 03:18:07 +0200 |
nipkow |
canonical names of classes
|
file |
diff |
annotate
|
| Fri, 26 Apr 2013 13:12:14 +0200 |
nipkow |
more standard argument order
|
file |
diff |
annotate
|
| Fri, 26 Apr 2013 09:53:11 +0200 |
nipkow |
simplified def
|
file |
diff |
annotate
|
| Fri, 26 Apr 2013 09:41:45 +0200 |
nipkow |
more standard order of arguments
|
file |
diff |
annotate
|
| Sat, 20 Apr 2013 20:57:49 +0200 |
nipkow |
proved termination for fun-based AI
|
file |
diff |
annotate
|
| Wed, 17 Apr 2013 21:23:35 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|