--- a/src/HOLCF/ex/Dnat.thy Wed Jun 08 02:27:19 2005 +0200
+++ b/src/HOLCF/ex/Dnat.thy Wed Jun 08 02:28:28 2005 +0200
@@ -69,7 +69,7 @@
apply (erule disjE)
apply (tactic "contr_tac 1")
apply simp
- apply (erule (2) dnat.inverts)
+ apply (erule (1) dnat.inverts)
done
end