]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5ae3baa) | patch
- Level-1: added two problems
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 27 Aug 2006 10:17:54 +0000 (10:17 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 27 Aug 2006 10:17:54 +0000 (10:17 +0000)
commit2f5cea9058c4f7c2b323e0a80fd491f69a35c2d8
tree7bf19fcec2ce2c7e4000fe6775795e01071a6059tree | snapshot
parent5ae3baad87b9a92d0bc73192dfe2b4c82bd0b0aecommit | diff
- Level-1: added two problems
- legacy: added some aliases
- CicNotationPp: fixed output syntax of records
helm/software/components/acic_content/cicNotationPp.ml diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/problems.ma diff | blob | history
helm/software/matita/library/legacy/coq.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.