]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f4249c) | patch
added Peano module and functions to create natural/real terms
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 19 Jan 2004 11:38:41 +0000 (11:38 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 19 Jan 2004 11:38:41 +0000 (11:38 +0000)
commit3bec2787ed93cd8132d25233ebfb3de275c20a47
treef2dc8f49f22c0a7f13ba42ba14bc3b52f6b2b58atree | snapshot
parent8f4249c2d863e08279ecfd6926a805ad242038c4commit | diff
added Peano module and functions to create natural/real terms
helm/ocaml/cic/helmLibraryObjects.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.