src/Pure/IsaPlanner/upterm_lib.ML
2005-06-02 wenzelm 2005-06-02 header;
2005-02-01 paulson 2005-02-01 the new subst tactic, by Lucas Dixon