1.1 --- a/src/HOL/Bali/AxCompl.thy Mon Jan 28 18:48:25 2002 +0100
1.2 +++ b/src/HOL/Bali/AxCompl.thy Mon Jan 28 18:50:23 2002 +0100
1.3 @@ -1,4 +1,4 @@
1.4 -(* Title: isabelle/Bali/AxCompl.thy
1.5 +(* Title: HOL/Bali/AxCompl.thy
1.6 ID: $Id$
1.7 Author: David von Oheimb
1.8 Copyright 1999 Technische Universitaet Muenchen
2.1 --- a/src/HOL/Bali/AxExample.thy Mon Jan 28 18:48:25 2002 +0100
2.2 +++ b/src/HOL/Bali/AxExample.thy Mon Jan 28 18:50:23 2002 +0100
2.3 @@ -1,4 +1,4 @@
2.4 -(* Title: isabelle/Bali/AxExample.thy
2.5 +(* Title: HOL/Bali/AxExample.thy
2.6 ID: $Id$
2.7 Author: David von Oheimb
2.8 Copyright 2000 Technische Universitaet Muenchen
3.1 --- a/src/HOL/Bali/AxSem.thy Mon Jan 28 18:48:25 2002 +0100
3.2 +++ b/src/HOL/Bali/AxSem.thy Mon Jan 28 18:50:23 2002 +0100
3.3 @@ -1,4 +1,4 @@
3.4 -(* Title: isabelle/Bali/AxSem.thy
3.5 +(* Title: HOL/Bali/AxSem.thy
3.6 ID: $Id$
3.7 Author: David von Oheimb
3.8 Copyright 1998 Technische Universitaet Muenchen
4.1 --- a/src/HOL/Bali/AxSound.thy Mon Jan 28 18:48:25 2002 +0100
4.2 +++ b/src/HOL/Bali/AxSound.thy Mon Jan 28 18:50:23 2002 +0100
4.3 @@ -1,4 +1,4 @@
4.4 -(* Title: isabelle/Bali/AxSound.thy
4.5 +(* Title: HOL/Bali/AxSound.thy
4.6 ID: $Id$
4.7 Author: David von Oheimb
4.8 Copyright 1999 Technische Universitaet Muenchen
5.1 --- a/src/HOL/Bali/Basis.thy Mon Jan 28 18:48:25 2002 +0100
5.2 +++ b/src/HOL/Bali/Basis.thy Mon Jan 28 18:50:23 2002 +0100
5.3 @@ -1,4 +1,4 @@
5.4 -(* Title: isabelle/Bali/Basis.thy
5.5 +(* Title: HOL/Bali/Basis.thy
5.6 ID: $Id$
5.7 Author: David von Oheimb
5.8 Copyright 1997 Technische Universitaet Muenchen
6.1 --- a/src/HOL/Bali/Conform.thy Mon Jan 28 18:48:25 2002 +0100
6.2 +++ b/src/HOL/Bali/Conform.thy Mon Jan 28 18:50:23 2002 +0100
6.3 @@ -1,4 +1,4 @@
6.4 -(* Title: isabelle/Bali/Conform.thy
6.5 +(* Title: HOL/Bali/Conform.thy
6.6 ID: $Id$
6.7 Author: David von Oheimb
6.8 Copyright 1997 Technische Universitaet Muenchen
7.1 --- a/src/HOL/Bali/Decl.thy Mon Jan 28 18:48:25 2002 +0100
7.2 +++ b/src/HOL/Bali/Decl.thy Mon Jan 28 18:50:23 2002 +0100
7.3 @@ -1,4 +1,4 @@
7.4 -(* Title: isabelle/Bali/Decl.thy
7.5 +(* Title: HOL/Bali/Decl.thy
7.6 ID: $Id$
7.7 Author: David von Oheimb
7.8 Copyright 1997 Technische Universitaet Muenchen
8.1 --- a/src/HOL/Bali/Eval.thy Mon Jan 28 18:48:25 2002 +0100
8.2 +++ b/src/HOL/Bali/Eval.thy Mon Jan 28 18:50:23 2002 +0100
8.3 @@ -1,4 +1,4 @@
8.4 -(* Title: isabelle/Bali/Eval.thy
8.5 +(* Title: HOL/Bali/Eval.thy
8.6 ID: $Id$
8.7 Author: David von Oheimb
8.8 Copyright 1997 Technische Universitaet Muenchen
9.1 --- a/src/HOL/Bali/Evaln.thy Mon Jan 28 18:48:25 2002 +0100
9.2 +++ b/src/HOL/Bali/Evaln.thy Mon Jan 28 18:50:23 2002 +0100
9.3 @@ -1,4 +1,4 @@
9.4 -(* Title: isabelle/Bali/Evaln.thy
9.5 +(* Title: HOL/Bali/Evaln.thy
9.6 ID: $Id$
9.7 Author: David von Oheimb
9.8 Copyright 1999 Technische Universitaet Muenchen
10.1 --- a/src/HOL/Bali/Example.thy Mon Jan 28 18:48:25 2002 +0100
10.2 +++ b/src/HOL/Bali/Example.thy Mon Jan 28 18:50:23 2002 +0100
10.3 @@ -1,4 +1,4 @@
10.4 -(* Title: isabelle/Bali/Example.thy
10.5 +(* Title: HOL/Bali/Example.thy
10.6 ID: $Id$
10.7 Author: David von Oheimb
10.8 Copyright 1997 Technische Universitaet Muenchen
11.1 --- a/src/HOL/Bali/Name.thy Mon Jan 28 18:48:25 2002 +0100
11.2 +++ b/src/HOL/Bali/Name.thy Mon Jan 28 18:50:23 2002 +0100
11.3 @@ -1,4 +1,4 @@
11.4 -(* Title: isabelle/Bali/Name.thy
11.5 +(* Title: HOL/Bali/Name.thy
11.6 ID: $Id$
11.7 Author: David von Oheimb
11.8 Copyright 1997 Technische Universitaet Muenchen
12.1 --- a/src/HOL/Bali/State.thy Mon Jan 28 18:48:25 2002 +0100
12.2 +++ b/src/HOL/Bali/State.thy Mon Jan 28 18:50:23 2002 +0100
12.3 @@ -1,4 +1,4 @@
12.4 -(* Title: isabelle/Bali/State.thy
12.5 +(* Title: HOL/Bali/State.thy
12.6 ID: $Id$
12.7 Author: David von Oheimb
12.8 Copyright 1997 Technische Universitaet Muenchen
13.1 --- a/src/HOL/Bali/Table.thy Mon Jan 28 18:48:25 2002 +0100
13.2 +++ b/src/HOL/Bali/Table.thy Mon Jan 28 18:50:23 2002 +0100
13.3 @@ -1,4 +1,4 @@
13.4 -(* Title: isabelle/Bali/Table.thy
13.5 +(* Title: HOL/Bali/Table.thy
13.6 ID: $Id$
13.7 Author: David von Oheimb
13.8 Copyright 1997 Technische Universitaet Muenchen
14.1 --- a/src/HOL/Bali/Term.thy Mon Jan 28 18:48:25 2002 +0100
14.2 +++ b/src/HOL/Bali/Term.thy Mon Jan 28 18:50:23 2002 +0100
14.3 @@ -1,4 +1,4 @@
14.4 -(* Title: isabelle/Bali/Term.thy
14.5 +(* Title: HOL/Bali/Term.thy
14.6 ID: $Id$
14.7 Author: David von Oheimb
14.8 Copyright 1997 Technische Universitaet Muenchen
15.1 --- a/src/HOL/Bali/Trans.thy Mon Jan 28 18:48:25 2002 +0100
15.2 +++ b/src/HOL/Bali/Trans.thy Mon Jan 28 18:50:23 2002 +0100
15.3 @@ -1,4 +1,4 @@
15.4 -(* Title: isabelle/Bali/Trans.thy
15.5 +(* Title: HOL/Bali/Trans.thy
15.6 ID: $Id$
15.7 Author: David von Oheimb
15.8 Copyright 1997 Technische Universitaet Muenchen
16.1 --- a/src/HOL/Bali/Type.thy Mon Jan 28 18:48:25 2002 +0100
16.2 +++ b/src/HOL/Bali/Type.thy Mon Jan 28 18:50:23 2002 +0100
16.3 @@ -1,4 +1,4 @@
16.4 -(* Title: isabelle/Bali/Type.thy
16.5 +(* Title: HOL/Bali/Type.thy
16.6 ID: $Id$
16.7 Author: David von Oheimb
16.8 Copyright 1997 Technische Universitaet Muenchen
17.1 --- a/src/HOL/Bali/TypeRel.thy Mon Jan 28 18:48:25 2002 +0100
17.2 +++ b/src/HOL/Bali/TypeRel.thy Mon Jan 28 18:50:23 2002 +0100
17.3 @@ -1,4 +1,4 @@
17.4 -(* Title: isabelle/Bali/TypeRel.thy
17.5 +(* Title: HOL/Bali/TypeRel.thy
17.6 ID: $Id$
17.7 Author: David von Oheimb
17.8 Copyright 1997 Technische Universitaet Muenchen
18.1 --- a/src/HOL/Bali/TypeSafe.thy Mon Jan 28 18:48:25 2002 +0100
18.2 +++ b/src/HOL/Bali/TypeSafe.thy Mon Jan 28 18:50:23 2002 +0100
18.3 @@ -1,4 +1,4 @@
18.4 -(* Title: isabelle/Bali/TypeSafe.thy
18.5 +(* Title: HOL/Bali/TypeSafe.thy
18.6 ID: $Id$
18.7 Author: David von Oheimb
18.8 Copyright 1997 Technische Universitaet Muenchen
19.1 --- a/src/HOL/Bali/Value.thy Mon Jan 28 18:48:25 2002 +0100
19.2 +++ b/src/HOL/Bali/Value.thy Mon Jan 28 18:50:23 2002 +0100
19.3 @@ -1,4 +1,4 @@
19.4 -(* Title: isabelle/Bali/Value.thy
19.5 +(* Title: HOL/Bali/Value.thy
19.6 ID: $Id$
19.7 Author: David von Oheimb
19.8 Copyright 1997 Technische Universitaet Muenchen
20.1 --- a/src/HOL/Bali/WellForm.thy Mon Jan 28 18:48:25 2002 +0100
20.2 +++ b/src/HOL/Bali/WellForm.thy Mon Jan 28 18:50:23 2002 +0100
20.3 @@ -1,4 +1,4 @@
20.4 -(* Title: isabelle/Bali/WellForm.thy
20.5 +(* Title: HOL/Bali/WellForm.thy
20.6 ID: $Id$
20.7 Author: David von Oheimb
20.8 Copyright 1997 Technische Universitaet Muenchen
21.1 --- a/src/HOL/Bali/WellType.thy Mon Jan 28 18:48:25 2002 +0100
21.2 +++ b/src/HOL/Bali/WellType.thy Mon Jan 28 18:50:23 2002 +0100
21.3 @@ -1,4 +1,4 @@
21.4 -(* Title: isabelle/Bali/WellType.thy
21.5 +(* Title: HOL/Bali/WellType.thy
21.6 ID: $Id$
21.7 Author: David von Oheimb
21.8 Copyright 1997 Technische Universitaet Muenchen