src/HOL/MicroJava/J/SystemClasses.thy
2010-03-01 ago replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2008-10-07 ago arbitrary is undefined
2005-06-17 ago migrated theory headers to new format
2002-02-26 ago introduces SystemClasses and BVExample