nominal2: File revisions

Nominal/Ex/SingleLet.thy

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
Tue, 17 Aug 2010 18:17:53 +0800	Christian Urban	more tuning of the code	file \| diff \| annotate
Tue, 17 Aug 2010 17:52:25 +0800	Christian Urban	improved code	file \| diff \| annotate
Tue, 17 Aug 2010 07:11:45 +0800	Christian Urban	can also lift the various eqvt lemmas for bn, fv, fv_bn and size	file \| diff \| annotate
Tue, 17 Aug 2010 06:50:49 +0800	Christian Urban	also able to lift the bn_defs	file \| diff \| annotate

nominal2