removed Ids;
authorwenzelm
Sat Feb 28 14:09:58 2009 +0100 (2009-02-28)
changeset 30161c26e515f1c29
parent 30160 5f7b17941730
child 30162 097673d2e50f
removed Ids;
src/Tools/Compute_Oracle/Compute_Oracle.thy
src/Tools/Compute_Oracle/am_compiler.ML
src/Tools/Compute_Oracle/am_ghc.ML
src/Tools/Compute_Oracle/am_interpreter.ML
src/Tools/Compute_Oracle/am_sml.ML
src/Tools/IsaPlanner/README
src/Tools/IsaPlanner/rw_tools.ML
src/Tools/IsaPlanner/zipper.ML
src/Tools/Metis/make-metis
src/Tools/Metis/metis.ML
src/Tools/README
src/Tools/atomize_elim.ML
src/Tools/code/code_haskell.ML
src/Tools/code/code_name.ML
src/Tools/code/code_printer.ML
src/Tools/code/code_target.ML
src/Tools/float.ML
src/Tools/induct_tacs.ML
src/Tools/random_word.ML
src/Tools/rat.ML
     1.1 --- a/src/Tools/Compute_Oracle/Compute_Oracle.thy	Sat Feb 28 14:02:12 2009 +0100
     1.2 +++ b/src/Tools/Compute_Oracle/Compute_Oracle.thy	Sat Feb 28 14:09:58 2009 +0100
     1.3 @@ -1,5 +1,4 @@
     1.4  (*  Title:      Tools/Compute_Oracle/Compute_Oracle.thy
     1.5 -    ID:         $Id$
     1.6      Author:     Steven Obua, TU Munich
     1.7  
     1.8  Steven Obua's evaluator.
     2.1 --- a/src/Tools/Compute_Oracle/am_compiler.ML	Sat Feb 28 14:02:12 2009 +0100
     2.2 +++ b/src/Tools/Compute_Oracle/am_compiler.ML	Sat Feb 28 14:09:58 2009 +0100
     2.3 @@ -1,5 +1,4 @@
     2.4  (*  Title:      Tools/Compute_Oracle/am_compiler.ML
     2.5 -    ID:         $Id$
     2.6      Author:     Steven Obua
     2.7  *)
     2.8  
     3.1 --- a/src/Tools/Compute_Oracle/am_ghc.ML	Sat Feb 28 14:02:12 2009 +0100
     3.2 +++ b/src/Tools/Compute_Oracle/am_ghc.ML	Sat Feb 28 14:09:58 2009 +0100
     3.3 @@ -1,5 +1,4 @@
     3.4  (*  Title:      Tools/Compute_Oracle/am_ghc.ML
     3.5 -    ID:         $Id$
     3.6      Author:     Steven Obua
     3.7  *)
     3.8  
     4.1 --- a/src/Tools/Compute_Oracle/am_interpreter.ML	Sat Feb 28 14:02:12 2009 +0100
     4.2 +++ b/src/Tools/Compute_Oracle/am_interpreter.ML	Sat Feb 28 14:09:58 2009 +0100
     4.3 @@ -1,5 +1,4 @@
     4.4  (*  Title:      Tools/Compute_Oracle/am_interpreter.ML
     4.5 -    ID:         $Id$
     4.6      Author:     Steven Obua
     4.7  *)
     4.8  
     5.1 --- a/src/Tools/Compute_Oracle/am_sml.ML	Sat Feb 28 14:02:12 2009 +0100
     5.2 +++ b/src/Tools/Compute_Oracle/am_sml.ML	Sat Feb 28 14:09:58 2009 +0100
     5.3 @@ -1,5 +1,4 @@
     5.4  (*  Title:      Tools/Compute_Oracle/am_sml.ML
     5.5 -    ID:         $Id$
     5.6      Author:     Steven Obua
     5.7  
     5.8      ToDO: "parameterless rewrite cannot be used in pattern": In a lot of cases it CAN be used, and these cases should be handled properly; 
     6.1 --- a/src/Tools/IsaPlanner/README	Sat Feb 28 14:02:12 2009 +0100
     6.2 +++ b/src/Tools/IsaPlanner/README	Sat Feb 28 14:09:58 2009 +0100
     6.3 @@ -1,4 +1,3 @@
     6.4 -ID:         $Id$
     6.5  Author:     Lucas Dixon, University of Edinburgh
     6.6  
     6.7  Support files for IsaPlanner (see http://isaplanner.sourceforge.net).
     7.1 --- a/src/Tools/IsaPlanner/rw_tools.ML	Sat Feb 28 14:02:12 2009 +0100
     7.2 +++ b/src/Tools/IsaPlanner/rw_tools.ML	Sat Feb 28 14:09:58 2009 +0100
     7.3 @@ -1,5 +1,4 @@
     7.4  (*  Title:      Tools/IsaPlanner/rw_tools.ML
     7.5 -    ID:		$Id$
     7.6      Author:     Lucas Dixon, University of Edinburgh
     7.7  
     7.8  Term related tools used for rewriting.
     8.1 --- a/src/Tools/IsaPlanner/zipper.ML	Sat Feb 28 14:02:12 2009 +0100
     8.2 +++ b/src/Tools/IsaPlanner/zipper.ML	Sat Feb 28 14:09:58 2009 +0100
     8.3 @@ -1,5 +1,4 @@
     8.4  (*  Title:      Tools/IsaPlanner/zipper.ML
     8.5 -    ID:		$Id$
     8.6      Author:     Lucas Dixon, University of Edinburgh
     8.7  
     8.8  A notion roughly based on Huet's Zippers for Isabelle terms.
     9.1 --- a/src/Tools/Metis/make-metis	Sat Feb 28 14:02:12 2009 +0100
     9.2 +++ b/src/Tools/Metis/make-metis	Sat Feb 28 14:09:58 2009 +0100
     9.3 @@ -1,7 +1,5 @@
     9.4  #!/usr/bin/env bash
     9.5  #
     9.6 -# $Id$
     9.7 -#
     9.8  # make-metis - turn original Metis files into Isabelle ML source.
     9.9  #
    9.10  # Structure declarations etc. are made local by wrapping into a
    9.11 @@ -11,8 +9,6 @@
    9.12  THIS=$(cd "$(dirname "$0")"; echo $PWD)
    9.13  
    9.14  (
    9.15 -  echo -n '(* $'
    9.16 -  echo 'Id$ *)'
    9.17    cat <<EOF
    9.18  (******************************************************************)
    9.19  (* GENERATED FILE -- DO NOT EDIT -- GENERATED FILE -- DO NOT EDIT *)
    10.1 --- a/src/Tools/Metis/metis.ML	Sat Feb 28 14:02:12 2009 +0100
    10.2 +++ b/src/Tools/Metis/metis.ML	Sat Feb 28 14:09:58 2009 +0100
    10.3 @@ -1,4 +1,3 @@
    10.4 -(* $Id$ *)
    10.5  (******************************************************************)
    10.6  (* GENERATED FILE -- DO NOT EDIT -- GENERATED FILE -- DO NOT EDIT *)
    10.7  (* GENERATED FILE -- DO NOT EDIT -- GENERATED FILE -- DO NOT EDIT *)
    11.1 --- a/src/Tools/README	Sat Feb 28 14:02:12 2009 +0100
    11.2 +++ b/src/Tools/README	Sat Feb 28 14:09:58 2009 +0100
    11.3 @@ -4,5 +4,3 @@
    11.4  This directory contains ML sources of generic tools.  Typically, they
    11.5  can be applied to various logics.
    11.6  
    11.7 -
    11.8 -$Id$
    12.1 --- a/src/Tools/atomize_elim.ML	Sat Feb 28 14:02:12 2009 +0100
    12.2 +++ b/src/Tools/atomize_elim.ML	Sat Feb 28 14:09:58 2009 +0100
    12.3 @@ -1,5 +1,4 @@
    12.4  (*  Title:      Tools/atomize_elim.ML
    12.5 -    ID:         $Id$
    12.6      Author:     Alexander Krauss, TU Muenchen
    12.7  
    12.8  Turn elimination rules into atomic expressions in the object logic.
    13.1 --- a/src/Tools/code/code_haskell.ML	Sat Feb 28 14:02:12 2009 +0100
    13.2 +++ b/src/Tools/code/code_haskell.ML	Sat Feb 28 14:09:58 2009 +0100
    13.3 @@ -1,5 +1,4 @@
    13.4  (*  Title:      Tools/code/code_haskell.ML
    13.5 -    ID:         $Id$
    13.6      Author:     Florian Haftmann, TU Muenchen
    13.7  
    13.8  Serializer for Haskell.
    14.1 --- a/src/Tools/code/code_name.ML	Sat Feb 28 14:02:12 2009 +0100
    14.2 +++ b/src/Tools/code/code_name.ML	Sat Feb 28 14:09:58 2009 +0100
    14.3 @@ -1,5 +1,4 @@
    14.4  (*  Title:      Tools/code/code_name.ML
    14.5 -    ID:         $Id$
    14.6      Author:     Florian Haftmann, TU Muenchen
    14.7  
    14.8  Some code generator infrastructure concerning names.
    15.1 --- a/src/Tools/code/code_printer.ML	Sat Feb 28 14:02:12 2009 +0100
    15.2 +++ b/src/Tools/code/code_printer.ML	Sat Feb 28 14:09:58 2009 +0100
    15.3 @@ -1,5 +1,4 @@
    15.4  (*  Title:      Tools/code/code_printer.ML
    15.5 -    ID:         $Id$
    15.6      Author:     Florian Haftmann, TU Muenchen
    15.7  
    15.8  Generic operations for pretty printing of target language code.
    16.1 --- a/src/Tools/code/code_target.ML	Sat Feb 28 14:02:12 2009 +0100
    16.2 +++ b/src/Tools/code/code_target.ML	Sat Feb 28 14:09:58 2009 +0100
    16.3 @@ -1,5 +1,4 @@
    16.4  (*  Title:      Tools/code/code_target.ML
    16.5 -    ID:         $Id$
    16.6      Author:     Florian Haftmann, TU Muenchen
    16.7  
    16.8  Serializer from intermediate language ("Thin-gol") to target languages.
    17.1 --- a/src/Tools/float.ML	Sat Feb 28 14:02:12 2009 +0100
    17.2 +++ b/src/Tools/float.ML	Sat Feb 28 14:09:58 2009 +0100
    17.3 @@ -1,5 +1,4 @@
    17.4  (*  Title:      Tools/float.ML
    17.5 -    ID:         $Id$
    17.6      Author:     Steven Obua, Florian Haftmann, TU Muenchen
    17.7  
    17.8  Implementation of real numbers as mantisse-exponent pairs.
    18.1 --- a/src/Tools/induct_tacs.ML	Sat Feb 28 14:02:12 2009 +0100
    18.2 +++ b/src/Tools/induct_tacs.ML	Sat Feb 28 14:09:58 2009 +0100
    18.3 @@ -1,5 +1,4 @@
    18.4  (*  Title:      Tools/induct_tacs.ML
    18.5 -    ID:         $Id$
    18.6      Author:     Makarius
    18.7  
    18.8  Unstructured induction and cases analysis.
    19.1 --- a/src/Tools/random_word.ML	Sat Feb 28 14:02:12 2009 +0100
    19.2 +++ b/src/Tools/random_word.ML	Sat Feb 28 14:09:58 2009 +0100
    19.3 @@ -1,5 +1,4 @@
    19.4  (*  Title:      Tools/random_word.ML
    19.5 -    ID:         $Id$
    19.6      Author:     Makarius
    19.7  
    19.8  Simple generator for pseudo-random numbers, using unboxed word
    20.1 --- a/src/Tools/rat.ML	Sat Feb 28 14:02:12 2009 +0100
    20.2 +++ b/src/Tools/rat.ML	Sat Feb 28 14:09:58 2009 +0100
    20.3 @@ -1,5 +1,4 @@
    20.4  (*  Title:      Tools/rat.ML
    20.5 -    ID:         $Id$
    20.6      Author:     Tobias Nipkow, Florian Haftmann, TU Muenchen
    20.7  
    20.8  Canonical implementation of exact rational numbers.