# HG changeset patch
# User haftmann
# Date 1286196409 -7200
# Node ID 7a1d8b9d17e7ebcb25edd8b782cce4c289697fae
# Parent  b85bfa89a3871dc48317dd3a730a4b0f279afaa4
tuned whitespace

diff -r b85bfa89a387 -r 7a1d8b9d17e7 src/HOL/MicroJava/MicroJava.thy
--- a/src/HOL/MicroJava/MicroJava.thy	Mon Oct 04 14:46:48 2010 +0200
+++ b/src/HOL/MicroJava/MicroJava.thy	Mon Oct 04 14:46:49 2010 +0200
@@ -12,4 +12,4 @@
   "Comp/CorrCompTp"
 begin
 
-end
\ No newline at end of file
+end