src/HOL/ZF/ROOT.ML
2009-11-11 wenzelm 2009-11-11 uniform use of simultabeous use_thys;
2006-03-07 obua 2006-03-07 added ROOT.ML