]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b5d073e) | patch
final relevance check
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 13 Jun 2008 12:59:14 +0000 (12:59 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 13 Jun 2008 12:59:14 +0000 (12:59 +0000)
commit1df8405217896500edba22b61653e03b5289747c
treed8c48f8259774f11d84278339d0d4cb3fbb87939tree | snapshot
parentb5d073e1d2ba9fdf46f1411993ed283f2330f059commit | diff
final relevance check
helm/software/components/ng_kernel/nCicReduction.ml diff | blob | history
helm/software/components/ng_kernel/nCicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.