Paper/ROOT.ML
author zhangx
Fri, 12 Feb 2016 12:32:57 +0800 (2016-02-12)
changeset 115 74fc1eae4605
parent 2 a04084de4946
permissions -rwxr-xr-x
Commenting of PIPBasics.thy almost completed. The last section needs to be distributed to Correctness.thy and Implementation.thy
use_thy "Paper";