]> matita.cs.unibo.it Git - helm.git/commit - helm/software/components/extlib/hExtlib.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8ede07e) | patch
New function list_forall_default3. 3 euros to the first one that reuses this function
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 15 May 2008 15:47:57 +0000 (15:47 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 15 May 2008 15:47:57 +0000 (15:47 +0000)
commitdd5a5cfcb19e3ef5059dbb2d777a6f147dd556a6
tree7cdfb711114f3adcbfa48e521f2f4af80643f738tree | snapshot
parent8ede07ed1f9b4937fc333f3438f635a0530e3a76commit | diff
New function list_forall_default3. 3 euros to the first one that reuses this function
(not artificially)
helm/software/components/extlib/hExtlib.ml diff | blob | history
helm/software/components/extlib/hExtlib.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.