src/Pure/IsaPlanner/focus_term_lib.ML
2005-08-15 dixon 2005-08-15 lucas - fixed bug in changing focus - when moving up and right, if an abs was encountered it would move up an extra time. I also removed the spurious pretty printing function that did nothing.
2005-06-02 wenzelm 2005-06-02 header;
2005-04-22 dixon 2005-04-22 lucas - fixed a big with renaming of bound variables. Other small changes.
2005-03-26 gagern 2005-03-26 op vor infix-Konstruktoren im datatype binding zum besseren Parsen
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2005-02-01 paulson 2005-02-01 the new subst tactic, by Lucas Dixon