Diffusion afp-devel cead889b4653

isabelle update_cartouches -t;
cead889b4653
Actions

Tags

None

Subscribers

None

Description

isabelle update_cartouches -t;

Details

Provenance

Authored on

Parents

rAFPb3e61e86eff9: identified operation alias; tuned

Branches

Unknown

Tags

Unknown

Event Timeline

traytel committed rAFPcead889b4653: isabelle update_cartouches -t;.Sep 20 2020, 1:52 PM

Changes (11)

Path

Size

thys/

Goedel_HFSet_Semanticless/

Coding_Predicates.thy

Pf_Predicates.thy

Pseudo_Coding.thy

rAFPcead889b4653

thys/Goedel_HFSet_Semanticless/Coding.thy

Loading...

thys/Goedel_HFSet_Semanticless/Coding_Predicates.thy

Loading...

thys/Goedel_HFSet_Semanticless/Functions.thy

Loading...

thys/Goedel_HFSet_Semanticless/Goedel_I.thy

Loading...

thys/Goedel_HFSet_Semanticless/II_Prelims.thy

Loading...

thys/Goedel_HFSet_Semanticless/Pf_Predicates.thy

Loading...

thys/Goedel_HFSet_Semanticless/Predicates.thy

Loading...

thys/Goedel_HFSet_Semanticless/Pseudo_Coding.thy

Loading...

thys/Goedel_HFSet_Semanticless/Quote.thy

Loading...

thys/Goedel_HFSet_Semanticless/Sigma.thy

Loading...

thys/Goedel_HFSet_Semanticless/SyntaxN.thy

Loading...