src/Pure/IsaPlanner/isaplib.ML
2005-06-02 wenzelm 2005-06-02 header;
2005-05-18 dixon 2005-05-18 lucas - fixed subst in assumptions to count redexes from left to right.
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
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