wneuper/isa: File revisions

src/HOL/ex/Set_Comprehension_Pointfree_Tests.thy

Sun, 14 Oct 2012 19:16:33 +0200	adding further test cases to check new functionality of the simproc; strengthened test cases to check the success of the simproc more faithfully	file \| diff \| annotate
Wed, 10 Oct 2012 10:48:17 +0200	test case for set_comprehension_pointfree simproc succeeds now	file \| diff \| annotate
Wed, 10 Oct 2012 10:41:18 +0200	adding some example that motivates some of the current changes in the set_comprehension_pointfree simproc	file \| diff \| annotate
Mon, 02 Jul 2012 11:39:24 +0200	adding a challenging example in the examples file	file \| diff \| annotate
Wed, 20 Jun 2012 16:54:08 +0200	Integrated set comprehension pointfree simproc.	file \| diff \| annotate
Tue, 19 Jun 2012 11:16:41 +0200	Improved tactic for rewriting set comprehensions into pointfree form.	file \| diff \| annotate
Fri, 01 Jun 2012 12:45:22 +0200	tuned header;	file \| diff \| annotate
Mon, 28 May 2012 02:18:46 +0200	adding incompleted simproc to rewrite set comprehensions into pointfree expressions on sets	file \| diff \| annotate

wneuper/isa