Diffusion afp-devel dfe83cc412a3

adapted to isabelle-dev/74be162a47cd
dfe83cc412a3
Actions

Tags

None

Subscribers

None

Description

adapted to isabelle-dev/74be162a47cd

Details

Provenance

Authored on

Parents

rAFPa31f698ef3f8: avoid multiple uses of the same ML file;

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rAFPdfe83cc412a3: adapted to isabelle-dev/74be162a47cd.Jan 4 2021, 7:50 PM

Changes (9)

Path

Size

thys/

Efficient-Mergesort/

Natural_Mergesort.thy

Knuth_Bendix_Order/

Lambda_Free_RPOs/

Lambda_Free_Term.thy

Nested_Multisets_Ordinals/

Multiset_More.thy

Ordered_Resolution_Prover/

FO_Ordered_Resolution.thy

Herbrand_Interpretation.thy

Ordered_Ground_Resolution.thy

PAC_Checker/

PAC_Polynomials.thy

rAFPdfe83cc412a3

thys/Efficient-Mergesort/Natural_Mergesort.thy

Loading...

thys/Knuth_Bendix_Order/KBO.thy

Loading...

thys/Knuth_Bendix_Order/Term_Aux.thy

Loading...

thys/Lambda_Free_RPOs/Lambda_Free_Term.thy

Loading...

thys/Nested_Multisets_Ordinals/Multiset_More.thy

Loading...

thys/Ordered_Resolution_Prover/FO_Ordered_Resolution.thy

Loading...

thys/Ordered_Resolution_Prover/Herbrand_Interpretation.thy

Loading...

thys/Ordered_Resolution_Prover/Ordered_Ground_Resolution.thy

Loading...

thys/PAC_Checker/PAC_Polynomials.thy

Loading...