Changes

Summary

Update Metis to 2.4

Changeset 72004:913162a47d9f by desharna: Update Metis to 2.4
The file was modified	`CONTRIBUTORS` (diff)
The file was modified	`NEWS` (diff)
The file was modified	`src/HOL/Algebra/Polynomial_Divisibility.thy` (diff)
The file was modified	`src/Tools/Metis/Makefile` (diff)
The file was modified	`src/Tools/Metis/README` (diff)
The file was modified	`src/Tools/Metis/make_metis` (diff)
The file was modified	`src/Tools/Metis/metis.ML` (diff)
The file was modified	`src/Tools/Metis/scripts/mlpp` (diff)
The file was modified	`src/Tools/Metis/src/Active.sig` (diff)
The file was modified	`src/Tools/Metis/src/Active.sml` (diff)
The file was modified	`src/Tools/Metis/src/Atom.sig` (diff)
The file was modified	`src/Tools/Metis/src/Atom.sml` (diff)
The file was modified	`src/Tools/Metis/src/AtomNet.sig` (diff)
The file was modified	`src/Tools/Metis/src/AtomNet.sml` (diff)
The file was modified	`src/Tools/Metis/src/Clause.sig` (diff)
The file was modified	`src/Tools/Metis/src/Clause.sml` (diff)
The file was modified	`src/Tools/Metis/src/ElementSet.sig` (diff)
The file was modified	`src/Tools/Metis/src/ElementSet.sml` (diff)
The file was modified	`src/Tools/Metis/src/Formula.sig` (diff)
The file was modified	`src/Tools/Metis/src/Formula.sml` (diff)
The file was modified	`src/Tools/Metis/src/Heap.sig` (diff)
The file was modified	`src/Tools/Metis/src/Heap.sml` (diff)
The file was modified	`src/Tools/Metis/src/KeyMap.sig` (diff)
The file was modified	`src/Tools/Metis/src/KeyMap.sml` (diff)
The file was modified	`src/Tools/Metis/src/KnuthBendixOrder.sig` (diff)
The file was modified	`src/Tools/Metis/src/KnuthBendixOrder.sml` (diff)
The file was modified	`src/Tools/Metis/src/Lazy.sig` (diff)
The file was modified	`src/Tools/Metis/src/Lazy.sml` (diff)
The file was modified	`src/Tools/Metis/src/Literal.sig` (diff)
The file was modified	`src/Tools/Metis/src/Literal.sml` (diff)
The file was modified	`src/Tools/Metis/src/LiteralNet.sig` (diff)
The file was modified	`src/Tools/Metis/src/LiteralNet.sml` (diff)
The file was modified	`src/Tools/Metis/src/Map.sig` (diff)
The file was modified	`src/Tools/Metis/src/Map.sml` (diff)
The file was modified	`src/Tools/Metis/src/Model.sig` (diff)
The file was modified	`src/Tools/Metis/src/Model.sml` (diff)
The file was modified	`src/Tools/Metis/src/Name.sig` (diff)
The file was modified	`src/Tools/Metis/src/Name.sml` (diff)
The file was modified	`src/Tools/Metis/src/NameArity.sig` (diff)
The file was modified	`src/Tools/Metis/src/NameArity.sml` (diff)
The file was modified	`src/Tools/Metis/src/Normalize.sig` (diff)
The file was modified	`src/Tools/Metis/src/Normalize.sml` (diff)
The file was modified	`src/Tools/Metis/src/Options.sig` (diff)
The file was modified	`src/Tools/Metis/src/Options.sml` (diff)
The file was modified	`src/Tools/Metis/src/Ordered.sig` (diff)
The file was modified	`src/Tools/Metis/src/Ordered.sml` (diff)
The file was modified	`src/Tools/Metis/src/Parse.sig` (diff)
The file was modified	`src/Tools/Metis/src/Parse.sml` (diff)
The file was modified	`src/Tools/Metis/src/Portable.sig` (diff)
The file was modified	`src/Tools/Metis/src/PortableMlton.sml` (diff)
The file was modified	`src/Tools/Metis/src/PortableMosml.sml` (diff)
The file was modified	`src/Tools/Metis/src/PortablePolyml.sml` (diff)
The file was modified	`src/Tools/Metis/src/Print.sig` (diff)
The file was modified	`src/Tools/Metis/src/Print.sml` (diff)
The file was modified	`src/Tools/Metis/src/Problem.sig` (diff)
The file was modified	`src/Tools/Metis/src/Problem.sml` (diff)
The file was modified	`src/Tools/Metis/src/Proof.sig` (diff)
The file was modified	`src/Tools/Metis/src/Proof.sml` (diff)
The file was modified	`src/Tools/Metis/src/Resolution.sig` (diff)
The file was modified	`src/Tools/Metis/src/Resolution.sml` (diff)
The file was modified	`src/Tools/Metis/src/Rewrite.sig` (diff)
The file was modified	`src/Tools/Metis/src/Rewrite.sml` (diff)
The file was modified	`src/Tools/Metis/src/Rule.sig` (diff)
The file was modified	`src/Tools/Metis/src/Rule.sml` (diff)
The file was modified	`src/Tools/Metis/src/Set.sig` (diff)
The file was modified	`src/Tools/Metis/src/Set.sml` (diff)
The file was modified	`src/Tools/Metis/src/Sharing.sig` (diff)
The file was modified	`src/Tools/Metis/src/Sharing.sml` (diff)
The file was modified	`src/Tools/Metis/src/Stream.sig` (diff)
The file was modified	`src/Tools/Metis/src/Stream.sml` (diff)
The file was modified	`src/Tools/Metis/src/Subst.sig` (diff)
The file was modified	`src/Tools/Metis/src/Subst.sml` (diff)
The file was modified	`src/Tools/Metis/src/Subsume.sig` (diff)
The file was modified	`src/Tools/Metis/src/Subsume.sml` (diff)
The file was modified	`src/Tools/Metis/src/Term.sig` (diff)
The file was modified	`src/Tools/Metis/src/Term.sml` (diff)
The file was modified	`src/Tools/Metis/src/TermNet.sig` (diff)
The file was modified	`src/Tools/Metis/src/TermNet.sml` (diff)
The file was modified	`src/Tools/Metis/src/Thm.sig` (diff)
The file was modified	`src/Tools/Metis/src/Thm.sml` (diff)
The file was modified	`src/Tools/Metis/src/Tptp.sig` (diff)
The file was modified	`src/Tools/Metis/src/Tptp.sml` (diff)
The file was modified	`src/Tools/Metis/src/Units.sig` (diff)
The file was modified	`src/Tools/Metis/src/Units.sml` (diff)
The file was modified	`src/Tools/Metis/src/Useful.sig` (diff)
The file was modified	`src/Tools/Metis/src/Useful.sml` (diff)
The file was modified	`src/Tools/Metis/src/Waiting.sig` (diff)
The file was modified	`src/Tools/Metis/src/Waiting.sml` (diff)
The file was modified	`src/Tools/Metis/src/metis.sml` (diff)
The file was modified	`src/Tools/Metis/src/problems.sml` (diff)
The file was modified	`src/Tools/Metis/src/problems2tptp.sml` (diff)
The file was modified	`src/Tools/Metis/src/selftest.sml` (diff)