berghofe [Wed, 07 Jul 2010 18:17:23 +0200] rev 37737
Boxes may now have different widths.
hoelzl [Wed, 07 Jul 2010 09:26:54 +0200] rev 37736
tuned
bulwahn [Wed, 07 Jul 2010 08:25:23 +0200] rev 37735
replaced manual derivation of equations for inductive predicates by automatic derivation by inductive_simps
bulwahn [Wed, 07 Jul 2010 08:25:22 +0200] rev 37734
added NEWS entry
bulwahn [Wed, 07 Jul 2010 08:25:21 +0200] rev 37733
added the new command inductive_cases to derive simplification equations for inductive predicates; added binding simps for general simplification equation
huffman [Tue, 06 Jul 2010 08:08:35 -0700] rev 37732
merged
huffman [Mon, 05 Jul 2010 09:14:51 -0700] rev 37731
generalize type of is_interval to class euclidean_space
huffman [Mon, 05 Jul 2010 09:12:35 -0700] rev 37730
section -> subsection
huffman [Sun, 04 Jul 2010 09:26:30 -0700] rev 37729
generalize some lemmas about derivatives
huffman [Sun, 04 Jul 2010 09:25:17 -0700] rev 37728
uniqueness of Frechet derivative