src/ZF/Integ/Int.thy
2000-07-14 paulson 2000-07-14 changed the quotient syntax from / to //
1998-09-25 paulson 1998-09-25 Renaming of Integ/Integ.* to Integ/Int.*, and renaming of related constants