# HG changeset patch
# User wenzelm
# Date 933107542 -7200
# Node ID 6c943cedc613d0fb348444d2a15b7ae82af7dbfd
# Parent  b02c6bdda05b068a851275e93829ef395f1e9e75
fixed perms and final nl;

diff -r b02c6bdda05b -r 6c943cedc613 src/HOL/ex/Tarski.thy
--- 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