changeset 13421 | 8fcdf4a26468 |
parent 13380 | ec17b9cac1fb |
child 13601 | fd3e3d6b37b2 |
--- a/src/HOL/Unix/Unix.thy Wed Jul 24 22:14:42 2002 +0200 +++ b/src/HOL/Unix/Unix.thy Wed Jul 24 22:15:55 2002 +0200 @@ -1131,7 +1131,7 @@ text {* So this is our final result: - @{thm [display] result [OF situation_axioms.intro, no_vars]} + @{thm [display] result [OF situation.intro, no_vars]} *} end