src/Provers/quasi.ML
2009-10-22 haftmann map_range (and map_index) combinator
2009-10-15 wenzelm replaced String.concat by implode;
2009-09-29 wenzelm explicit indication of Unsynchronized.ref;
2009-07-30 wenzelm trancl_tac etc.: back to static context -- problem was caused by bad solver in AFP/JiveDataStoreModel;
2009-07-30 wenzelm qualified Subgoal.FOCUS;
2009-07-29 wenzelm trans_tac: use theory from goal state, not the static context, which seems to be outdated under certain circumstances (why?);
2009-07-26 wenzelm replaced old METAHYPS by FOCUS;
2008-12-31 wenzelm qualified Term.rename_wrt_term;
2007-04-03 wenzelm removed obsolete sign_of/sign_of_thm;
2006-03-11 wenzelm got rid of type Sign.sg;
2005-03-03 skalberg Move towards standard functions.
2005-02-13 skalberg Deleted Library.option type.
2004-08-03 ballarin New transitivity reasoners for transitivity only and quasi orders.
less more (0) tip