Mon, 20 Jan 2014 23:34:26 +0100 | blanchet | swapped dependencies of 'Finite_Set' and 'Option' (to move BNF up) | file | diff | annotate |
Fri, 27 Dec 2013 14:35:14 +0100 | haftmann | prefer target-style syntaxx for sublocale | file | diff | annotate |
Wed, 25 Dec 2013 17:39:07 +0100 | haftmann | abolished slightly odd global lattice interpretation for min/max | file | diff | annotate |
Wed, 25 Dec 2013 17:39:06 +0100 | haftmann | prefer more canonical names for lemmas on min/max | file | diff | annotate |
Tue, 24 Dec 2013 11:24:16 +0100 | haftmann | tuning and augmentation of min/max lemmas; | file | diff | annotate |
Sun, 15 Dec 2013 15:10:16 +0100 | haftmann | disambiguation of interpretation prefixes | file | diff | annotate |
Sun, 15 Dec 2013 15:10:14 +0100 | haftmann | more algebraic terminology for theories about big operators | file | diff | annotate |