--- a/src/HOL/ex/Tarski.thy Tue Jul 27 22:04:54 1999 +0200
+++ b/src/HOL/ex/Tarski.thy Tue Jul 27 22:32:22 1999 +0200
@@ -138,4 +138,4 @@
v_def "v == glb {x. ((lam x: intY1. f x) x, x): induced intY1 r & x: intY1}
(| pset=intY1, order=induced intY1 r|)"
-end
\ No newline at end of file
+end