src/HOL/ex/PER.thy
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2001-12-01 wenzelm 2001-12-01 renamed class "term" to "type" (actually "HOL.type");
2000-10-30 wenzelm 2000-10-30 Partial equivalence relations (leftover from HOL/Quot);