changeset 16179 | fa7e70be26b0 |
parent 15814 | d65f461c8672 |
child 17044 | 94d38d9fac40 |
--- a/src/Pure/IsaPlanner/focus_term_lib.ML Thu Jun 02 02:21:44 2005 +0200 +++ b/src/Pure/IsaPlanner/focus_term_lib.ML Thu Jun 02 09:11:32 2005 +0200 @@ -1,5 +1,6 @@ (* -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- *) -(* Title: libs/focus_term_lib.ML +(* Title: Pure/IsaPlanner/focus_term_lib.ML + ID: $Id$ Author: Lucas Dixon, University of Edinburgh lucasd@dai.ed.ac.uk Date: 16 April 2003