src/Pure/IsaPlanner/isa_fterm.ML
2005-08-31 wenzelm 2005-08-31 refer to theory instead of low-level tsig;
2005-08-15 dixon 2005-08-15 lucas - added pretty printing function and cleaned up signature a little.
2005-06-02 wenzelm 2005-06-02 header;
2005-05-03 dixon 2005-05-03 lucas - improved interface to isand.ML and cleaned up clean-unification code, and added some better comments.
2005-04-22 dixon 2005-04-22 lucas - fixed a big with renaming of bound variables. Other small changes.
2005-04-07 wenzelm 2005-04-07 reverted renaming of Some/None in comments and strings;
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