]> matita.cs.unibo.it Git - helm.git/commit
impredicative set work around
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 19 Apr 2008 16:32:36 +0000 (16:32 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 19 Apr 2008 16:32:36 +0000 (16:32 +0000)
commit7e1dce0f8b5116cf3eba7876c54282052faf11ba
treea6ea88d94c63a619ebf8ceb363187da4bf6a15e3
parent3dccb88099c632e5ee74c866d8449771c9d2418b
impredicative set work around
helm/software/components/ng_kernel/rt.ml