corrected Title
authoroheimb
Thu Jan 08 18:00:42 1998 +0100 (1998-01-08)
changeset 4530ac1821645636
parent 4529 21034b090722
child 4531 20a7fddb706a
corrected Title
src/HOL/IOA/Asig.ML
src/HOL/IOA/Asig.thy
src/HOL/IOA/IOA.ML
src/HOL/IOA/IOA.thy
src/HOL/IOA/Solve.ML
src/HOL/IOA/Solve.thy
     1.1 --- a/src/HOL/IOA/Asig.ML	Thu Jan 08 18:00:08 1998 +0100
     1.2 +++ b/src/HOL/IOA/Asig.ML	Thu Jan 08 18:00:42 1998 +0100
     1.3 @@ -1,4 +1,4 @@
     1.4 -(*  Title:      HOL/IOA/meta_theory/Asig.ML
     1.5 +(*  Title:      HOL/IOA/Asig.ML
     1.6      ID:         $Id$
     1.7      Author:     Tobias Nipkow & Konrad Slind
     1.8      Copyright   1994  TU Muenchen
     2.1 --- a/src/HOL/IOA/Asig.thy	Thu Jan 08 18:00:08 1998 +0100
     2.2 +++ b/src/HOL/IOA/Asig.thy	Thu Jan 08 18:00:42 1998 +0100
     2.3 @@ -1,4 +1,4 @@
     2.4 -(*  Title:      HOL/IOA/meta_theory/Asig.thy
     2.5 +(*  Title:      HOL/IOA/Asig.thy
     2.6      ID:         $Id$
     2.7      Author:     Tobias Nipkow & Konrad Slind
     2.8      Copyright   1994  TU Muenchen
     3.1 --- a/src/HOL/IOA/IOA.ML	Thu Jan 08 18:00:08 1998 +0100
     3.2 +++ b/src/HOL/IOA/IOA.ML	Thu Jan 08 18:00:42 1998 +0100
     3.3 @@ -1,4 +1,4 @@
     3.4 -(*  Title:      HOL/IOA/meta_theory/IOA.ML
     3.5 +(*  Title:      HOL/IOA/IOA.ML
     3.6      ID:         $Id$
     3.7      Author:     Tobias Nipkow & Konrad Slind
     3.8      Copyright   1994  TU Muenchen
     4.1 --- a/src/HOL/IOA/IOA.thy	Thu Jan 08 18:00:08 1998 +0100
     4.2 +++ b/src/HOL/IOA/IOA.thy	Thu Jan 08 18:00:42 1998 +0100
     4.3 @@ -1,4 +1,4 @@
     4.4 -(*  Title:      HOL/IOA/meta_theory/IOA.thy
     4.5 +(*  Title:      HOL/IOA/IOA.thy
     4.6      ID:         $Id$
     4.7      Author:     Tobias Nipkow & Konrad Slind
     4.8      Copyright   1994  TU Muenchen
     5.1 --- a/src/HOL/IOA/Solve.ML	Thu Jan 08 18:00:08 1998 +0100
     5.2 +++ b/src/HOL/IOA/Solve.ML	Thu Jan 08 18:00:42 1998 +0100
     5.3 @@ -1,4 +1,4 @@
     5.4 -(*  Title:      HOL/IOA/meta_theory/Solve.ML
     5.5 +(*  Title:      HOL/IOA/Solve.ML
     5.6      ID:         $Id$
     5.7      Author:     Tobias Nipkow & Konrad Slind
     5.8      Copyright   1994  TU Muenchen
     6.1 --- a/src/HOL/IOA/Solve.thy	Thu Jan 08 18:00:08 1998 +0100
     6.2 +++ b/src/HOL/IOA/Solve.thy	Thu Jan 08 18:00:42 1998 +0100
     6.3 @@ -1,4 +1,4 @@
     6.4 -(*  Title:      HOL/IOA/meta_theory/Solve.thy
     6.5 +(*  Title:      HOL/IOA/Solve.thy
     6.6      ID:         $Id$
     6.7      Author:     Tobias Nipkow & Konrad Slind
     6.8      Copyright   1994  TU Muenchen