--- a/src/HOL/IOA/Solve.thy Thu Jan 08 18:00:08 1998 +0100
+++ b/src/HOL/IOA/Solve.thy Thu Jan 08 18:00:42 1998 +0100
@@ -1,4 +1,4 @@
-(* Title: HOL/IOA/meta_theory/Solve.thy
+(* Title: HOL/IOA/Solve.thy
ID: $Id$
Author: Tobias Nipkow & Konrad Slind
Copyright 1994 TU Muenchen