[7cfccc]: thys / Locally-Nameless-Sigma / Locally_Nameless_Sigma.thy  Maximize  Restore  History

Download this file

9 lines (5 with data), 130 Bytes

1
2
3
4
5
6
7
header {* Locally Nameless Sigma Calculus *}
theory Locally_Nameless_Sigma
imports "Sigma/ParRed" "Sigma/TypedSigma"
begin
end

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks