]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d3c72d6) | patch
Added is_closed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 9 Feb 2004 16:37:16 +0000 (16:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 9 Feb 2004 16:37:16 +0000 (16:37 +0000)
commita6b369829925668130b977a0abd737bf34ae74ba
treeebac73a7374c8c5781bbb5afa64116a6ff4914a9tree | snapshot
parentd3c72d6856cd185e5b3e9f2e8b928b78c7031ed1commit | diff
Added is_closed.
helm/ocaml/cic/cicUtil.ml diff | blob | history
helm/ocaml/cic/cicUtil.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.