src/HOL/Nominal/Examples/Class3.thy
2012-11-28 wenzelm 2012-11-28 eliminated slightly odd identifiers;
2010-09-08 haftmann 2010-09-08 modernized primrec
2010-04-22 wenzelm 2010-04-22 split Class.thy into parts to conserve a bit of memory and increase the chance of making it work on Cygwin with only 2 GB available;