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 |