nominal2: File revisions

Nominal/Ex/SingleLet.thy

Sun, 29 Aug 2010 00:09:45 +0800	Christian Urban	proved supports lemmas	file \| diff \| annotate
Thu, 26 Aug 2010 02:08:00 +0800	Christian Urban	cleaned up (almost completely) the examples	file \| diff \| annotate
Wed, 25 Aug 2010 22:55:42 +0800	Christian Urban	automatic lifting	file \| diff \| annotate
Wed, 25 Aug 2010 09:02:06 +0800	Christian Urban	can now deal with type variables in nominal datatype definitions	file \| diff \| annotate
Sun, 22 Aug 2010 14:02:49 +0800	Christian Urban	updated to new Isabelle	file \| diff \| annotate
Sun, 22 Aug 2010 11:00:53 +0800	Christian Urban	updated to new Isabelle	file \| diff \| annotate
Sat, 21 Aug 2010 16:20:10 +0800	Christian Urban	changed parser so that the binding mode is indicated as "bind (list)", "bind (set)" or "bind (res)"; if only "bind" is given, then bind (list) is assumed as default	file \| diff \| annotate
Wed, 18 Aug 2010 00:19:15 +0800	Christian Urban	improved runtime slightly, by constructing an explicit size measure for the function definitions	file \| diff \| annotate

nominal2