Nominal/Ex/Sigma.thy
2011-12-20 Cezary Kaliszyk Add Sigma.thy, an example that defines a sigma-calculus in the style of Peter Homeier's HOL4 formalization.
less more (0) tip