2013-01-03 wenzelm improved Monitor_Dockable, based on ML_Statistics operations;
2013-01-03 blanchet get rid of two-year-old hack, now that the "metis" skolemizer no longer gets stuck in HO unification
2013-01-03 blanchet avoid explosion in higher-order unification algorithm
2013-01-03 blanchet avoid repeated calls to metis from "resolve_tac" in case of ultimate failure
2013-01-02 blanchet tuned comment
2013-01-02 wenzelm merged
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip