src/Tools/IsaPlanner/rw_tools.ML
changeset 23175 267ba70e7a9d
parent 23171 861f63a35d31
child 30161 c26e515f1c29
     1.1 --- a/src/Tools/IsaPlanner/rw_tools.ML	Thu May 31 20:55:33 2007 +0200
     1.2 +++ b/src/Tools/IsaPlanner/rw_tools.ML	Thu May 31 21:09:14 2007 +0200
     1.3 @@ -1,17 +1,9 @@
     1.4 -(* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- *) 
     1.5 -(*  Title:      Pure/IsaPlanner/rw_tools.ML
     1.6 +(*  Title:      Tools/IsaPlanner/rw_tools.ML
     1.7      ID:		$Id$
     1.8      Author:     Lucas Dixon, University of Edinburgh
     1.9 -                lucas.dixon@ed.ac.uk
    1.10 -    Created:    28 May 2004
    1.11 -*)
    1.12 -(* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- *) 
    1.13 -(*  DESCRIPTION:
    1.14  
    1.15 -    term related tools used for rewriting
    1.16 -
    1.17 +Term related tools used for rewriting.
    1.18  *)   
    1.19 -(* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- *)
    1.20  
    1.21  signature RWTOOLS =
    1.22  sig