src/HOL/ex/mesontest2.thy
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2004-11-15 paulson 2004-11-15 Renamed some variables to eliminate conflicts with constants. Introduced some abbreviations (following TPTP axiom sets) to reduce the amount of repetition. Uncommented some examples, which increases the runtime somewhat.
2001-09-27 wenzelm 2001-09-27 tuned;
2000-11-10 wenzelm 2000-11-10 proper theory context for mesontest2;