removed obsolete CVS Ids;
authorwenzelm
Wed Feb 10 00:50:36 2010 +0100 (2010-02-10)
changeset 3506909154b995ed8
parent 35068 544867142ea4
child 35081 ab02eb4471b3
removed obsolete CVS Ids;
src/HOL/Bali/AxCompl.thy
src/HOL/Bali/AxSem.thy
src/HOL/Bali/AxSound.thy
src/HOL/Bali/Conform.thy
src/HOL/Bali/Decl.thy
src/HOL/Bali/DefiniteAssignmentCorrect.thy
src/HOL/Bali/Eval.thy
src/HOL/Bali/Evaln.thy
src/HOL/Bali/Name.thy
src/HOL/Bali/Term.thy
src/HOL/Bali/Trans.thy
src/HOL/Bali/Type.thy
src/HOL/Bali/TypeRel.thy
src/HOL/Bali/TypeSafe.thy
src/HOL/Bali/Value.thy
     1.1 --- a/src/HOL/Bali/AxCompl.thy	Wed Feb 10 00:46:56 2010 +0100
     1.2 +++ b/src/HOL/Bali/AxCompl.thy	Wed Feb 10 00:50:36 2010 +0100
     1.3 @@ -1,5 +1,4 @@
     1.4  (*  Title:      HOL/Bali/AxCompl.thy
     1.5 -    ID:         $Id$
     1.6      Author:     David von Oheimb and Norbert Schirmer
     1.7  *)
     1.8  
     2.1 --- a/src/HOL/Bali/AxSem.thy	Wed Feb 10 00:46:56 2010 +0100
     2.2 +++ b/src/HOL/Bali/AxSem.thy	Wed Feb 10 00:50:36 2010 +0100
     2.3 @@ -1,5 +1,4 @@
     2.4  (*  Title:      HOL/Bali/AxSem.thy
     2.5 -    ID:         $Id$
     2.6      Author:     David von Oheimb
     2.7  *)
     2.8  
     3.1 --- a/src/HOL/Bali/AxSound.thy	Wed Feb 10 00:46:56 2010 +0100
     3.2 +++ b/src/HOL/Bali/AxSound.thy	Wed Feb 10 00:50:36 2010 +0100
     3.3 @@ -1,5 +1,4 @@
     3.4  (*  Title:      HOL/Bali/AxSound.thy
     3.5 -    ID:         $Id$
     3.6      Author:     David von Oheimb and Norbert Schirmer
     3.7  *)
     3.8  header {* Soundness proof for Axiomatic semantics of Java expressions and 
     4.1 --- a/src/HOL/Bali/Conform.thy	Wed Feb 10 00:46:56 2010 +0100
     4.2 +++ b/src/HOL/Bali/Conform.thy	Wed Feb 10 00:50:36 2010 +0100
     4.3 @@ -1,5 +1,4 @@
     4.4  (*  Title:      HOL/Bali/Conform.thy
     4.5 -    ID:         $Id$
     4.6      Author:     David von Oheimb
     4.7  *)
     4.8  
     5.1 --- a/src/HOL/Bali/Decl.thy	Wed Feb 10 00:46:56 2010 +0100
     5.2 +++ b/src/HOL/Bali/Decl.thy	Wed Feb 10 00:50:36 2010 +0100
     5.3 @@ -1,5 +1,4 @@
     5.4  (*  Title:      HOL/Bali/Decl.thy
     5.5 -    ID:         $Id$
     5.6      Author:     David von Oheimb and Norbert Schirmer
     5.7  *)
     5.8  header {* Field, method, interface, and class declarations, whole Java programs
     6.1 --- a/src/HOL/Bali/DefiniteAssignmentCorrect.thy	Wed Feb 10 00:46:56 2010 +0100
     6.2 +++ b/src/HOL/Bali/DefiniteAssignmentCorrect.thy	Wed Feb 10 00:50:36 2010 +0100
     6.3 @@ -1,5 +1,3 @@
     6.4 -(* $Id$ *)
     6.5 -
     6.6  header {* Correctness of Definite Assignment *}
     6.7  
     6.8  theory DefiniteAssignmentCorrect imports WellForm Eval begin
     7.1 --- a/src/HOL/Bali/Eval.thy	Wed Feb 10 00:46:56 2010 +0100
     7.2 +++ b/src/HOL/Bali/Eval.thy	Wed Feb 10 00:50:36 2010 +0100
     7.3 @@ -1,5 +1,4 @@
     7.4  (*  Title:      HOL/Bali/Eval.thy
     7.5 -    ID:         $Id$
     7.6      Author:     David von Oheimb
     7.7  *)
     7.8  header {* Operational evaluation (big-step) semantics of Java expressions and 
     8.1 --- a/src/HOL/Bali/Evaln.thy	Wed Feb 10 00:46:56 2010 +0100
     8.2 +++ b/src/HOL/Bali/Evaln.thy	Wed Feb 10 00:50:36 2010 +0100
     8.3 @@ -1,5 +1,4 @@
     8.4  (*  Title:      HOL/Bali/Evaln.thy
     8.5 -    ID:         $Id$
     8.6      Author:     David von Oheimb and Norbert Schirmer
     8.7  *)
     8.8  header {* Operational evaluation (big-step) semantics of Java expressions and 
     9.1 --- a/src/HOL/Bali/Name.thy	Wed Feb 10 00:46:56 2010 +0100
     9.2 +++ b/src/HOL/Bali/Name.thy	Wed Feb 10 00:50:36 2010 +0100
     9.3 @@ -1,5 +1,4 @@
     9.4  (*  Title:      HOL/Bali/Name.thy
     9.5 -    ID:         $Id$
     9.6      Author:     David von Oheimb
     9.7  *)
     9.8  header {* Java names *}
    10.1 --- a/src/HOL/Bali/Term.thy	Wed Feb 10 00:46:56 2010 +0100
    10.2 +++ b/src/HOL/Bali/Term.thy	Wed Feb 10 00:50:36 2010 +0100
    10.3 @@ -1,5 +1,4 @@
    10.4  (*  Title:      HOL/Bali/Term.thy
    10.5 -    ID:         $Id$
    10.6      Author:     David von Oheimb
    10.7  *)
    10.8  
    11.1 --- a/src/HOL/Bali/Trans.thy	Wed Feb 10 00:46:56 2010 +0100
    11.2 +++ b/src/HOL/Bali/Trans.thy	Wed Feb 10 00:50:36 2010 +0100
    11.3 @@ -1,5 +1,4 @@
    11.4  (*  Title:      HOL/Bali/Trans.thy
    11.5 -    ID:         $Id$
    11.6      Author:     David von Oheimb and Norbert Schirmer
    11.7  
    11.8  Operational transition (small-step) semantics of the 
    12.1 --- a/src/HOL/Bali/Type.thy	Wed Feb 10 00:46:56 2010 +0100
    12.2 +++ b/src/HOL/Bali/Type.thy	Wed Feb 10 00:50:36 2010 +0100
    12.3 @@ -1,5 +1,4 @@
    12.4  (*  Title:      HOL/Bali/Type.thy
    12.5 -    ID:         $Id$
    12.6      Author:     David von Oheimb
    12.7  *)
    12.8  
    13.1 --- a/src/HOL/Bali/TypeRel.thy	Wed Feb 10 00:46:56 2010 +0100
    13.2 +++ b/src/HOL/Bali/TypeRel.thy	Wed Feb 10 00:50:36 2010 +0100
    13.3 @@ -1,5 +1,4 @@
    13.4  (*  Title:      HOL/Bali/TypeRel.thy
    13.5 -    ID:         $Id$
    13.6      Author:     David von Oheimb
    13.7  *)
    13.8  header {* The relations between Java types *}
    14.1 --- a/src/HOL/Bali/TypeSafe.thy	Wed Feb 10 00:46:56 2010 +0100
    14.2 +++ b/src/HOL/Bali/TypeSafe.thy	Wed Feb 10 00:50:36 2010 +0100
    14.3 @@ -1,5 +1,4 @@
    14.4  (*  Title:      HOL/Bali/TypeSafe.thy
    14.5 -    ID:         $Id$
    14.6      Author:     David von Oheimb and Norbert Schirmer
    14.7  *)
    14.8  header {* The type soundness proof for Java *}
    15.1 --- a/src/HOL/Bali/Value.thy	Wed Feb 10 00:46:56 2010 +0100
    15.2 +++ b/src/HOL/Bali/Value.thy	Wed Feb 10 00:50:36 2010 +0100
    15.3 @@ -1,5 +1,4 @@
    15.4  (*  Title:      HOL/Bali/Value.thy
    15.5 -    ID:         $Id$
    15.6      Author:     David von Oheimb
    15.7  *)
    15.8  header {* Java values *}