src/HOL/ex/Reflection_Examples.thy
Fri, 22 Feb 2013 14:39:12 +0100 wenzelm updated headers;
Fri, 15 Feb 2013 08:31:31 +0100 haftmann less customary term_of conversions;
Wed, 13 Feb 2013 13:38:52 +0100 haftmann tuned, particulary name
less more (0) tip