isabelle: Changelog

huffman [Tue, 27 Apr 2010 11:03:04 -0700] rev 36443

generalize types of path operations

huffman [Tue, 27 Apr 2010 10:54:24 -0700] rev 36442

generalize more continuity lemmas

huffman [Tue, 27 Apr 2010 10:39:52 -0700] rev 36441

generalized many lemmas about continuity

huffman [Mon, 26 Apr 2010 22:21:03 -0700] rev 36440

simplify definition of continuous_on; generalize some lemmas

huffman [Mon, 26 Apr 2010 20:03:01 -0700] rev 36439

move intervals section heading

huffman [Mon, 26 Apr 2010 19:58:51 -0700] rev 36438

remove unused, redundant constant inv_on

huffman [Mon, 26 Apr 2010 19:55:50 -0700] rev 36437

reorganize subsection headings

huffman [Mon, 26 Apr 2010 17:56:39 -0700] rev 36436

remove redundant lemma

huffman [Mon, 26 Apr 2010 16:28:58 -0700] rev 36435

more lemmas to Vec1.thy

huffman [Mon, 26 Apr 2010 15:51:10 -0700] rev 36434

simplify proof

isabelle