Diffusion Isabelle 913162a47d9f

Update Metis to 2.4
913162a47d9f
Actions

Tags

None

Subscribers

None

Description

Update Metis to 2.4

Details

Provenance

Authored on

Parents

rISABELLEa7e6ac2dfa58: updated to polyml-5.8.1-20200708: recent repository version for testing;

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLE913162a47d9f: Update Metis to 2.4.Jul 9 2020, 11:39 AM

Changes (92)

Path

Size

src/

HOL/

Algebra/

Polynomial_Divisibility.thy

Tools/

Metis/

scripts/

src/

KnuthBendixOrder.sig

KnuthBendixOrder.sml

PortableMlton.sml

PortableMosml.sml

PortablePolyml.sml

problems2tptp.sml

rISABELLE913162a47d9f

CONTRIBUTORS

Loading...

NEWS

Loading...

src/HOL/Algebra/Polynomial_Divisibility.thy

Loading...

src/Tools/Metis/Makefile

Loading...

src/Tools/Metis/README

Loading...

src/Tools/Metis/make_metis

Loading...

src/Tools/Metis/metis.ML

Loading...

src/Tools/Metis/scripts/mlpp

Loading...

src/Tools/Metis/src/Active.sig

Loading...

src/Tools/Metis/src/Active.sml

Loading...

src/Tools/Metis/src/Atom.sig

Loading...

src/Tools/Metis/src/Atom.sml

Loading...

src/Tools/Metis/src/AtomNet.sig

Loading...

src/Tools/Metis/src/AtomNet.sml

Loading...

src/Tools/Metis/src/Clause.sig

Loading...

src/Tools/Metis/src/Clause.sml

Loading...

src/Tools/Metis/src/ElementSet.sig

Loading...

src/Tools/Metis/src/ElementSet.sml

Loading...

src/Tools/Metis/src/Formula.sig

Loading...

src/Tools/Metis/src/Formula.sml

Loading...

src/Tools/Metis/src/Heap.sig

Loading...

src/Tools/Metis/src/Heap.sml

Loading...

src/Tools/Metis/src/KeyMap.sig

Loading...

src/Tools/Metis/src/KeyMap.sml

Loading...

src/Tools/Metis/src/KnuthBendixOrder.sig

Loading...

src/Tools/Metis/src/KnuthBendixOrder.sml

Loading...

src/Tools/Metis/src/Lazy.sig

Loading...

src/Tools/Metis/src/Lazy.sml

Loading...

src/Tools/Metis/src/Literal.sig

Loading...

src/Tools/Metis/src/Literal.sml

Loading...

src/Tools/Metis/src/LiteralNet.sig

Loading...

src/Tools/Metis/src/LiteralNet.sml

Loading...

src/Tools/Metis/src/Map.sig

Loading...

src/Tools/Metis/src/Map.sml

Loading...

src/Tools/Metis/src/Model.sig

Loading...

src/Tools/Metis/src/Model.sml

Loading...

src/Tools/Metis/src/Name.sig

Loading...

src/Tools/Metis/src/Name.sml

Loading...

src/Tools/Metis/src/NameArity.sig

Loading...

src/Tools/Metis/src/NameArity.sml

Loading...

src/Tools/Metis/src/Normalize.sig

Loading...

src/Tools/Metis/src/Normalize.sml

Loading...

src/Tools/Metis/src/Options.sig

Loading...

src/Tools/Metis/src/Options.sml

Loading...

src/Tools/Metis/src/Ordered.sig

Loading...

src/Tools/Metis/src/Ordered.sml

Loading...

src/Tools/Metis/src/Parse.sig

Loading...

src/Tools/Metis/src/Parse.sml

Loading...

src/Tools/Metis/src/Portable.sig

Loading...

src/Tools/Metis/src/PortableMlton.sml

Loading...

src/Tools/Metis/src/PortableMosml.sml

Loading...

src/Tools/Metis/src/PortablePolyml.sml

Loading...

src/Tools/Metis/src/Print.sig

Loading...

src/Tools/Metis/src/Print.sml

Loading...

src/Tools/Metis/src/Problem.sig

Loading...

src/Tools/Metis/src/Problem.sml

Loading...

src/Tools/Metis/src/Proof.sig

Loading...

src/Tools/Metis/src/Proof.sml

Loading...

src/Tools/Metis/src/Resolution.sig

Loading...

src/Tools/Metis/src/Resolution.sml

Loading...

src/Tools/Metis/src/Rewrite.sig

Loading...

src/Tools/Metis/src/Rewrite.sml

Loading...

src/Tools/Metis/src/Rule.sig

Loading...

src/Tools/Metis/src/Rule.sml

Loading...

src/Tools/Metis/src/Set.sig

Loading...

src/Tools/Metis/src/Set.sml

Loading...

src/Tools/Metis/src/Sharing.sig

Loading...

src/Tools/Metis/src/Sharing.sml

Loading...

src/Tools/Metis/src/Stream.sig

Loading...

src/Tools/Metis/src/Stream.sml

Loading...

src/Tools/Metis/src/Subst.sig

Loading...

src/Tools/Metis/src/Subst.sml

Loading...

src/Tools/Metis/src/Subsume.sig

Loading...

src/Tools/Metis/src/Subsume.sml

Loading...

src/Tools/Metis/src/Term.sig

Loading...

src/Tools/Metis/src/Term.sml

Loading...

src/Tools/Metis/src/TermNet.sig

Loading...

src/Tools/Metis/src/TermNet.sml

Loading...

src/Tools/Metis/src/Thm.sig

Loading...

src/Tools/Metis/src/Thm.sml

Loading...

src/Tools/Metis/src/Tptp.sig

Loading...

src/Tools/Metis/src/Tptp.sml

Loading...

src/Tools/Metis/src/Units.sig

Loading...

src/Tools/Metis/src/Units.sml

Loading...

src/Tools/Metis/src/Useful.sig

Loading...

src/Tools/Metis/src/Useful.sml

Loading...

src/Tools/Metis/src/Waiting.sig

Loading...

src/Tools/Metis/src/Waiting.sml

Loading...

src/Tools/Metis/src/metis.sml

Loading...

src/Tools/Metis/src/problems.sml

Loading...

src/Tools/Metis/src/problems2tptp.sml

Loading...

src/Tools/Metis/src/selftest.sml

Loading...