src/HOL/Library/Accessible_Part.thy
2004-08-16 nipkow 2004-08-16 New theory header syntax.
2004-05-06 wenzelm 2004-05-06 tuned document;
2000-12-23 wenzelm 2000-12-23 tuned;
2000-11-03 wenzelm 2000-11-03 tuned notation;
2000-10-18 wenzelm 2000-10-18 The accessible part of a relation (from HOL/Induct/Acc);