isabelle: Admin/Mercurial/cvsids@7b20f9f94f4e (annotated)

30297 41957d25a8b6 Identifiers of some old CVS file versions; wenzelm parents: diff changeset	1	Identifiers of some old CVS file versions
41957d25a8b6 Identifiers of some old CVS file versions; wenzelm parents: diff changeset	2	=========================================
41957d25a8b6 Identifiers of some old CVS file versions; wenzelm parents: diff changeset	3
30710 77d4b1284d4c recover old ids; wenzelm parents: 30423 diff changeset	4	src/Pure/General/file.ML 1.18 6cdd6a8da9b9
77d4b1284d4c recover old ids; wenzelm parents: 30423 diff changeset	5	src/Pure/thm.ML 1.189 4b339d3907a0 (referenced in 25f28f9c28a3 as "2005-01-24 (revision 1.44)")
30423 6baef860dfa6 recover old ids; wenzelm parents: 30297 diff changeset	6	src/Pure/type.ML 1.65 0d984ee030a1