]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 50b0198) | patch
The user is no longer obliged to give the types for definitions.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 10 Jun 2005 14:31:43 +0000 (14:31 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 10 Jun 2005 14:31:43 +0000 (14:31 +0000)
commitc347684900a4e2b17a6c1d372fb142bebd8cd250
treece2483e6833a4beb00c4198365e1dee03b43c0d7tree | snapshot
parent50b01988edd12788a59aea3fb0f6704d5fd2bb69commit | diff
The user is no longer obliged to give the types for definitions.
helm/ocaml/cic_disambiguation/cicTextualParser2.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.