diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-12-19 12:00:44 +0100 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-12-19 12:00:57 +0100 |
commit | ab7d96a1d7c1bd44cf3bca5f593b947975117ed8 (patch) | |
tree | 346eac1f9ccddd701a6d160f493fd070bc84d09f /checker/check.ml | |
parent | 96906c2a1ba9426271a4048bfa8b3991db51c192 (diff) |
Better doc and a few fixes for Proof using.
Diffstat (limited to 'checker/check.ml')
0 files changed, 0 insertions, 0 deletions