changeset 12911 | 704713ca07ea |
parent 12517 | 360e3215f029 |
child 13672 | b95d12325b51 |
--- a/src/HOL/MicroJava/J/Eval.thy Wed Feb 20 17:30:46 2002 +0100 +++ b/src/HOL/MicroJava/J/Eval.thy Thu Feb 21 09:54:08 2002 +0100 @@ -4,7 +4,7 @@ Copyright 1999 Technische Universitaet Muenchen *) -header "Operational Evaluation (big step) Semantics" +header {* \isaheader{Operational Evaluation (big step) Semantics} *} theory Eval = State + WellType: