src/HOL/Accessible_Part.thy
2007-07-16 krauss 2007-07-16 added lemma binding: accpI = accp.accI
2007-07-11 berghofe 2007-07-11 acc is now defined using inductive_set.
2007-02-07 berghofe 2007-02-07 Adapted to new inductive definition package.
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-05-17 wenzelm 2006-05-17 tuned source/document;
2006-05-05 krauss 2006-05-05 First usable version of the new function definition package (HOL/function_packake/...). Moved Accessible_Part.thy from Library to Main.