Quot/Examples/SigmaEx.thy
2010-01-20 Cezary Kaliszyk Added the Sigma Calculus example
less more (0) tip