# HG changeset patch
# User boehmes
# Date 1253514896 -7200
# Node ID 02f45a09a9f2d376e7427029fc516c9e910ae8f9
# Parent  42865636d006aa6e072be6bf3a1db58b17e07e99
tuned author

diff -r 42865636d006 -r 02f45a09a9f2 src/HOL/SMT/Examples/SMT_Examples.thy
--- a/src/HOL/SMT/Examples/SMT_Examples.thy	Fri Sep 18 18:13:19 2009 +0200
+++ b/src/HOL/SMT/Examples/SMT_Examples.thy	Mon Sep 21 08:34:56 2009 +0200
@@ -1,5 +1,5 @@
 (*  Title:       SMT_Examples.thy
-    Author:      Sascha Böhme, TU Muenchen
+    Author:      Sascha Boehme, TU Muenchen
 *)
 
 header {* Examples for the 'smt' tactic. *}
diff -r 42865636d006 -r 02f45a09a9f2 src/HOL/SMT/lib/scripts/remote_smt.pl
--- a/src/HOL/SMT/lib/scripts/remote_smt.pl	Fri Sep 18 18:13:19 2009 +0200
+++ b/src/HOL/SMT/lib/scripts/remote_smt.pl	Mon Sep 21 08:34:56 2009 +0200
@@ -1,7 +1,7 @@
 #!/usr/bin/env perl -w
 #
 # Script to invoke remote SMT solvers.
-# Author: Sascha Böhme
+# Author: Sascha Boehme, TU Muenchen
 #
 
 use strict;