# HG changeset patch
# User paulson
# Date 828093284 -3600
# Node ID b5e43a60443aaecb6bfa133c193dffcce3944610
# Parent  60136fdd80c47fedcca54f8456b747e17ff8ebc4
Mended indentation

diff -r 60136fdd80c4 -r b5e43a60443a src/ZF/Bool.thy
--- a/src/ZF/Bool.thy	Thu Mar 28 17:27:54 1996 +0100
+++ b/src/ZF/Bool.thy	Fri Mar 29 10:54:44 1996 +0100
@@ -10,7 +10,7 @@
 
 Bool = ZF + "simpdata" +
 consts
-    "1"         :: i               ("1")
+    "1"         :: i             ("1")
     "2"         :: i             ("2")
     bool        :: i
     cond        :: [i,i,i]=>i