Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- fix(ML_Unification) fix tests after retrieval updates
The file was modified | thys/ML_Unification/Tests/First_Order_ML_Unification_Tests.thy |
The file was modified | thys/ML_Unification/Tests/Higher_Order_Pattern_ML_Unification_Tests.thy |
The file was modified | thys/ML_Unification/Tests/ML_Unification_Tests_Base.thy |
The file was modified | thys/ML_Unification/Tests/first_order_unification_tests.ML |