]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf2b108) | patch
- is_closed removed from the kernel (it used to make a loose test, replaced
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 13 May 2008 16:53:33 +0000 (16:53 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 13 May 2008 16:53:33 +0000 (16:53 +0000)
commitd66222777ea069f6cde311548dc327f5be09ec59
tree1378a89d8680ec023c59d9e6dcb872376755d967tree | snapshot
parentcf2b1084c561a6842d7cbc5691943ef53b151acacommit | diff
- is_closed removed from the kernel (it used to make a loose test, replaced
  with a tighter one)
- does_not_occur no longer calls lift (performance improvement)
- does_not_occur: bug fixed in management of Metas
helm/software/components/ng_kernel/nCicTypeChecker.ml diff | blob | history
helm/software/components/ng_kernel/nCicUtils.ml diff | blob | history
helm/software/components/ng_kernel/nCicUtils.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.