| changeset 45605 | a89b4bc311a5 |
| parent 42793 | 88bee9f6eec7 |
| child 51703 | f2e92fc0c8aa |
--- a/src/HOL/Bali/AxSem.thy Sun Nov 20 20:59:30 2011 +0100 +++ b/src/HOL/Bali/AxSem.thy Sun Nov 20 21:05:23 2011 +0100 @@ -1016,7 +1016,7 @@ apply (rule ax_derivs.Skip) apply fast done -lemmas ax_SkipI = ax_Skip [THEN conseq1, standard] +lemmas ax_SkipI = ax_Skip [THEN conseq1] section "derived rules for methd call"