]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c1b8d6c) | patch
we added the classic substitution function
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 29 Feb 2008 18:13:10 +0000 (18:13 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 29 Feb 2008 18:13:10 +0000 (18:13 +0000)
commite44ebf8a8c659b408fa765d30faf1b8c8ff2adb0
treea1f6b2f3715cdeadf9dfde6cd707f6775ecea198tree | snapshot
parentc1b8d6c5b550d8b0b658baa53174732586a83bedcommit | diff
we added the classic substitution function
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/definitions.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/preamble.ma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/subst/defs.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/subst/fwd.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/subst/props.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1/theory.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.