]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/grafite_engine/nCicCoercDeclaration.ml
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
parameter sintax added to axiom statement
[helm.git] / helm / software / components / grafite_engine / nCicCoercDeclaration.ml
2010-07-22 Enrico Tassiavoid assert false, just fail generating the coercion blob | commitdiff | raw
2010-05-06 Wilmer RicciottiFixing naming scheme for composite coercions. blob | commitdiff | raw | diff to current
2009-10-21 Enrico Tassiapply the subst to the metasenv and to p blob | commitdiff | raw | diff to current
2009-10-05 Enrico Tassiadded auto_cache in the dupable status after an blob | commitdiff | raw | diff to current
2009-10-05 Enrico Tassinew ng_library module blob | commitdiff | raw | diff to current
2009-09-14 Enrico Tassifixed coercion mechanism w.r.t. undo/require blob | commitdiff | raw | diff to current
2009-09-09 Enrico Tassisome more work for ng-coercions blob | commitdiff | raw | diff to current
Unnamed repository; edit this file 'description' to name the repository.