https://github.com/wangslyl/hcspwithbinders
History
Tip revision: 8d2ca02208d049254ef0c3007c749511ebf923d2 authored by wshuling on 08 February 2014, 07:46:32 UTC
update readme
Tip revision: 8d2ca02
File Mode Size
DCSequents
Inference.thy -rwxr-xr-x 3.0 KB
README.md -rwxr-xr-x 1.5 KB
Train.thy -rwxr-xr-x 6.1 KB
TrainProof.thy -rwxr-xr-x 40.3 KB
bHCSP_Com.thy -rwxr-xr-x 6.3 KB

README.md

back to top