Diffusion Isabelle 1156aa9db7f5

backout 4a174bea55e2;
1156aa9db7f5
Actions

Tags

None

Subscribers

None

Description

backout 4a174bea55e2;

Details

Provenance

Authored on

Parents

rISABELLE6ea0030b9ee9: Backed out changeset f34d11942ac1

Branches

Unknown

Tags

Unknown

Reverts

rISABELLE4a174bea55e2: prefer Sortset.T for shyps;

Event Timeline

makarius committed rISABELLE1156aa9db7f5: backout 4a174bea55e2;.Apr 18 2023, 12:23 PM

makarius added a reverted change: rISABELLE4a174bea55e2: prefer Sortset.T for shyps;.Apr 18 2023, 11:29 PM

Changes (12)

Path

Size

src/

Doc/

Implementation/

HOL/

Matrix_LP/

Compute_Oracle/

Types_To_Sets/

internalize_sort.ML

Pure/

Thy/

export_theory.ML

rISABELLE1156aa9db7f5

src/Doc/Implementation/Logic.thy

Loading...

src/HOL/Matrix_LP/Compute_Oracle/compute.ML

Loading...

src/HOL/Matrix_LP/Compute_Oracle/linker.ML

Loading...

src/HOL/Types_To_Sets/internalize_sort.ML

Loading...

src/Pure/Thy/export_theory.ML

Loading...

src/Pure/envir.ML

Loading...

src/Pure/logic.ML

Loading...

src/Pure/more_thm.ML

Loading...

src/Pure/proofterm.ML

Loading...

src/Pure/sorts.ML

Loading...

src/Pure/term_ord.ML

Loading...

src/Pure/thm.ML

Loading...