Commit 8567991

authored

Prove type safety of System F (#5)

2 parents 4d024ad + 78dd3e6 commit 8567991Copy full SHA for 8567991

2 files changed

+812

-261

lines changed

Defs.thy
Soundness.thy

2 files changed

+812

-261

lines changed

Comments

(0)