]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e299c8a) | patch
do not use an implicit but a sort as a neutral term for positivity check
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 15 Apr 2008 08:20:24 +0000 (08:20 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 15 Apr 2008 08:20:24 +0000 (08:20 +0000)
commit3270d5e228bbcd3dfe7350e59416b843a5149e3b
tree82c880d4d99135e8d99ad4ef1cbd2ec32b33043atree | snapshot
parente299c8aad16752ea008cbb8a673996652b548e30commit | diff
do not use an implicit but a sort as a neutral term for positivity check
helm/software/components/ng_kernel/nCicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.