https://github.com/wangslyl/hcspwithbinders
Tip revision: 8d2ca02208d049254ef0c3007c749511ebf923d2 authored by wshuling on 08 February 2014, 07:46:32 UTC
update readme
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 |