| 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 |