nominal2: File revisions

Quot/Examples/IntEx2.thy

Wed, 09 Dec 2009 22:43:11 +0100	Cezary Kaliszyk	Finished one proof in IntEx2.	file \| diff \| annotate
Wed, 09 Dec 2009 22:05:11 +0100	Christian Urban	slightly more on IntEx2	file \| diff \| annotate
Wed, 09 Dec 2009 20:35:52 +0100	Christian Urban	proved (with a lot of pain) that times_raw is respectful	file \| diff \| annotate
Wed, 09 Dec 2009 15:57:47 +0100	Cezary Kaliszyk	Different syntax for definitions that allows overloading and retrieving of definitions by matching whole constants.	file \| diff \| annotate
Wed, 09 Dec 2009 00:03:18 +0100	Christian Urban	tuned the examples and flagged the problematic cleaning lemmas in FSet	file \| diff \| annotate
Tue, 08 Dec 2009 17:30:00 +0100	Christian Urban	changed names of attributes	file \| diff \| annotate
Mon, 07 Dec 2009 21:53:50 +0100	Christian Urban	removed "global" data and lookup functions; had to move a tactic out from the inj_repabs_match tactic since apply_rsp interferes with a trans2 rule for ===>	file \| diff \| annotate
Mon, 07 Dec 2009 15:21:51 +0100	Christian Urban	isabelle make tests all examples	file \| diff \| annotate

nominal2