--- a/lib/encodings/isabelle-0 Tue Apr 29 17:14:06 1997 +0200 +++ b/lib/encodings/isabelle-0 Tue Apr 29 17:23:53 1997 +0200 @@ -13,7 +13,7 @@ tturnstile langle rangle -choice +orelse top Or ocdot