Diffusion Isabelle 4a174bea55e2

prefer Sortset.T for shyps;
4a174bea55e2
Actions

Tags

None

Subscribers

None

Description

prefer Sortset.T for shyps;

Details

Provenance

Authored on

Parents

rISABELLE0ad86d5b3bc3: tuned;

Branches

Unknown

Tags

Unknown

Reverted By

rISABELLE1156aa9db7f5: backout 4a174bea55e2;

Event Timeline

makarius committed rISABELLE4a174bea55e2: prefer Sortset.T for shyps;.Mar 28 2023, 5:59 PM

makarius mentioned this in rAFPb5968e0969d7: adapted to Isabelle/4a174bea55e2;.Mar 29 2023, 12:37 PM

makarius added a reverting change: rISABELLE1156aa9db7f5: backout 4a174bea55e2;.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

rISABELLE4a174bea55e2

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...