src/HOL/Multivariate_Analysis/Ordered_Euclidean_Space.thy
Tue, 18 Mar 2014 10:12:57 +0100 immler use cbox to relax class constraints
Sun, 16 Mar 2014 18:09:04 +0100 haftmann normalising simp rules for compound operators
Wed, 12 Feb 2014 08:35:56 +0100 blanchet adapted theories to '{case,rec}_{list,option}' names
Mon, 16 Dec 2013 17:08:22 +0100 immler additional lemmas
Mon, 16 Dec 2013 17:08:22 +0100 immler summarized notions related to ordered_euclidean_space and intervals in separate theory
less more (0) tip