src/HOL/MicroJava/DFA/Typing_Framework.thy
changeset 70299 83774d669b51
parent 67717 5a1b299fe4af