]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a1522b9) | patch
list_iter2_default_value moved to HExtlib. 1 euro to the first one that will
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 14 May 2008 17:41:33 +0000 (17:41 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 14 May 2008 17:41:33 +0000 (17:41 +0000)
commit6ba6011b7c8cadb8fe328812e0134e27909fb308
treeea00395af6952e00b588aff5d8a926104bc37433tree | snapshot
parenta1522b9020b719634fa24681fde480630a919898commit | diff
list_iter2_default_value moved to HExtlib. 1 euro to the first one that will
re-use it (not artificially)
helm/software/components/extlib/hExtlib.ml diff | blob | history
helm/software/components/extlib/hExtlib.mli diff | blob | history
helm/software/components/ng_kernel/nCicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.