]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f11e625) | patch
Major code semplification in check_allowed_sort_elimination: the
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 3 Nov 2005 11:13:58 +0000 (11:13 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 3 Nov 2005 11:13:58 +0000 (11:13 +0000)
commit22ff3a49e742b4289c96d518479a8e08c9192b7c
treee4a5e66213a9d11d3a18cc3857ad2cae52a68d5etree | snapshot
parentf11e6250691c73a64315052bb910e23c87aea8a8commit | diff
Major code semplification in check_allowed_sort_elimination: the
need_dummy and not need_dummy cases are now unified.
helm/ocaml/cic_proof_checking/cicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.