Nominal/NewParser.thy
2010-05-04 Christian Urban to my best knowledge the number of datatypes is equal to the length of the dt_descr; so we can save one argument in define_raw_perm
2010-05-03 Cezary Kaliszyk Comment
2010-05-03 Cezary Kaliszyk Register only non-looping rules in eq_iff
less more (0) -10 -3 tip