Wed, 25 Jul 2018 00:25:05 +0200 |
paulson |
de-applying
|
file |
diff |
annotate
|
Sun, 24 Jun 2018 11:41:32 +0100 |
paulson |
more modernisaton and de-applying
|
file |
diff |
annotate
|
Wed, 10 Jan 2018 15:25:09 +0100 |
nipkow |
ran isabelle update_op on all sources
|
file |
diff |
annotate
|
Fri, 05 Jan 2018 15:24:57 +0100 |
nipkow |
tuned op
|
file |
diff |
annotate
|
Tue, 19 Dec 2017 13:58:12 +0100 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
Sun, 26 Nov 2017 21:08:32 +0100 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
Thu, 31 Aug 2017 21:48:03 +0200 |
ballarin |
Avoid \mu and \nu as constant syntax, use LFP and GFP instead.
|
file |
diff |
annotate
|
Thu, 31 Aug 2017 21:48:01 +0200 |
ballarin |
Revert 5a42eddc11c1.
|
file |
diff |
annotate
|
Thu, 24 Aug 2017 17:41:49 +0200 |
haftmann |
swapping of theory dependency yields less pervasive syntax requiring popular symbols \<mu>, \<nu>
|
file |
diff |
annotate
|
Sat, 24 Jun 2017 17:42:50 +0200 |
ballarin |
Additional corollary Knaster_Tarski_idem_inf_eq.
|
file |
diff |
annotate
|
Thu, 02 Mar 2017 21:16:02 +0100 |
ballarin |
Knaster-Tarski fixed point theorem and Galois Connections.
|
file |
diff |
annotate
|