]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 13553fb) | patch
impredicative set work around
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 19 Apr 2008 16:32:22 +0000 (16:32 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 19 Apr 2008 16:32:22 +0000 (16:32 +0000)
commit3dccb88099c632e5ee74c866d8449771c9d2418b
tree838ca9cc75ed8ed9c3c6c38d447e8f3115099648tree | snapshot
parent13553fb82419f58ab61131bd4a6e04352e388b50commit | diff
impredicative set work around
helm/software/components/ng_kernel/check.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.