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