| Sat, 28 Jun 2014 09:16:42 +0200 | haftmann | fact consolidation | file | diff | annotate |
| Wed, 02 Apr 2014 18:35:07 +0200 | hoelzl | extend continuous_intros; remove continuous_on_intros and isCont_intros | file | diff | annotate |
| Tue, 18 Mar 2014 10:12:58 +0100 | immler | additional lemmas | file | diff | annotate |
| Tue, 18 Mar 2014 10:12:58 +0100 | immler | removed dependencies on theory Ordered_Euclidean_Space | file | diff | annotate |
| 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 |