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