src/FOL/eqrule_FOL_data.ML
2005-09-20 haftmann 2005-09-20 introduced AList module in favor of assoc etc.
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