]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc7fa75) | patch
- libraryObjects: new default "natural numbers" with the uri of nat.
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 14 May 2009 13:43:55 +0000 (13:43 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 14 May 2009 13:43:55 +0000 (13:43 +0000)
commit68dbcd02022874a025a9444aa1125b0458816fbb
treeaef2c3f4ff588e78b0243f13459629790447ec15tree | snapshot
parentdc7fa75e39843dd9db19130fb352c274291befffcommit | diff
- libraryObjects: new default "natural numbers" with the uri of nat.
alias num "natural number" uses this one instead of the hardcoded uri (removed)
also destroy_nat (moved to termAcicContent) looks at this default
helm/software/components/acic_content/termAcicContent.ml diff | blob | history
helm/software/components/acic_procedural/proceduralOptimizer.ml diff | blob | history
helm/software/components/cic/libraryObjects.ml diff | blob | history
helm/software/components/cic/libraryObjects.mli diff | blob | history
helm/software/components/cic_disambiguation/number_notation.ml diff | blob | history
helm/software/matita/library/nat/nat.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.