src/HOL/MicroJava/J/SystemClasses.thy
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2002-02-26 kleing 2002-02-26 introduces SystemClasses and BVExample