changeset 16179 | fa7e70be26b0 |
parent 15814 | d65f461c8672 |
--- a/src/Pure/IsaPlanner/rw_tools.ML Thu Jun 02 02:21:44 2005 +0200 +++ b/src/Pure/IsaPlanner/rw_tools.ML Thu Jun 02 09:11:32 2005 +0200 @@ -1,5 +1,6 @@ (* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- *) -(* Title: sys/rw_tools.ML +(* Title: Pure/IsaPlanner/rw_tools.ML + ID: $Id$ Author: Lucas Dixon, University of Edinburgh lucas.dixon@ed.ac.uk Created: 28 May 2004