| Wed, 13 Jan 2016 23:07:06 +0100 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
| Tue, 24 Mar 2015 16:16:48 +0100 |
wenzelm |
tuned proof;
|
file |
diff |
annotate
|
| Mon, 23 Mar 2015 23:12:33 +0100 |
wenzelm |
tuned proof;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 17:16:01 +0100 |
wenzelm |
modernized header;
|
file |
diff |
annotate
|
| Sat, 23 Mar 2013 20:50:39 +0100 |
haftmann |
fundamental revision of big operators on sets
|
file |
diff |
annotate
|
| Fri, 12 Oct 2012 18:58:20 +0200 |
wenzelm |
discontinued obsolete typedef (open) syntax;
|
file |
diff |
annotate
|
| Wed, 30 Nov 2011 16:27:10 +0100 |
wenzelm |
prefer typedef without extra definition and alternative name;
|
file |
diff |
annotate
|
| Tue, 29 Mar 2011 17:47:11 +0200 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
| Sun, 19 Dec 2010 06:59:01 -0800 |
huffman |
minimize imports; move domain class instances for powerdomain types into Powerdomains.thy
|
file |
diff |
annotate
|
| Sun, 19 Dec 2010 06:39:19 -0800 |
huffman |
powerdomain theories require class 'bifinite' instead of 'domain'
|
file |
diff |
annotate
|
| Sun, 19 Dec 2010 04:06:02 -0800 |
huffman |
renamed Bifinite.thy to Representable.thy
|
file |
diff |
annotate
|
| Fri, 17 Dec 2010 16:43:45 -0800 |
huffman |
renamed CompactBasis.thy to Compact_Basis.thy
|
file |
diff |
annotate
| base
|