]> matita.cs.unibo.it Git - helm.git/commit
- 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
tree7bf19fcec2ce2c7e4000fe6775795e01071a6059
parent5ae3baad87b9a92d0bc73192dfe2b4c82bd0b0ae
- Level-1: added two problems
- legacy: added some aliases
- CicNotationPp: fixed output syntax of records
helm/software/components/acic_content/cicNotationPp.ml
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta.ma
helm/software/matita/contribs/LAMBDA-TYPES/Level-1/problems.ma
helm/software/matita/library/legacy/coq.ma