]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 468a912) | patch
In the let-in case we compute the type and add it to the context.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 22 Dec 2006 10:37:35 +0000 (10:37 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 22 Dec 2006 10:37:35 +0000 (10:37 +0000)
commit5682bf51adcde903c53a96e05475a7ded8fb255d
treefa592035812ea62f2ccd07455d07451431c337eatree | snapshot
parent468a9129943234ff4f9cb8798fe01241c7d65efccommit | diff
In the let-in case we compute the type and add it to the context.
Before it was computed every time
components/cic_acic/cic2acic.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.