Diffusion Isabelle 36774e8af3db

more robust signature: result has no particular order;
36774e8af3db
Actions

Tags

None

Subscribers

None

Description

more robust signature: result has no particular order;

Details

Provenance

Authored on

Parents

rISABELLE914a214e110e: more scalable operations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE36774e8af3db: more robust signature: result has no particular order;.Sep 5 2021, 11:21 PM

makarius mentioned this in rAFPa815068160f3: adapted to Isabelle/36774e8af3db: cannot rely on order of instantiation for….Sep 7 2021, 10:51 AM

Changes (4)

Path

Size

src/

Doc/

Implementation/

HOL/

Tools/

Predicate_Compile/

predicate_compile_aux.ML

Pure/

Isar/

rISABELLE36774e8af3db

src/Doc/Implementation/Proof.thy

Loading...

src/HOL/Tools/Predicate_Compile/predicate_compile_aux.ML

Loading...

src/Pure/Isar/subgoal.ML

Loading...

src/Pure/variable.ML

Loading...