--- 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. *}
--- 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;