| Tue, 18 Mar 2014 10:12:57 +0100 | immler | use cbox to relax class constraints | file | diff | annotate |
| Sun, 16 Mar 2014 18:09:04 +0100 | haftmann | normalising simp rules for compound operators | file | diff | annotate |
| Wed, 12 Feb 2014 08:35:56 +0100 | blanchet | adapted theories to '{case,rec}_{list,option}' names | file | diff | annotate |
| Mon, 16 Dec 2013 17:08:22 +0100 | immler | additional lemmas | file | diff | annotate |
| Mon, 16 Dec 2013 17:08:22 +0100 | immler | summarized notions related to ordered_euclidean_space and intervals in separate theory | file | diff | annotate |