]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0357b09) | patch
AMBDA-TYPES: some improvements. subst now fully exploited
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 28 Apr 2007 12:17:50 +0000 (12:17 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 28 Apr 2007 12:17:50 +0000 (12:17 +0000)
commitc4df237cf74270f9e4aa164d5fe0415181406a49
treef64706021616bc00e0792523175c8e9d871d1c21tree | snapshot
parent0357b09d42de55c9cd4fa502c5165894bfc6be45commit | diff
AMBDA-TYPES: some improvements. subst now fully exploited
developments.txt: added library_auto
RELATIONAL: some improvements. subst now fully exploited
cic_procedural: a List.rev was missing :-p
substTactic: tacticals are now exploited properly
18 files changed:
components/acic_procedural/proceduralTypes.ml diff | blob | history
components/tactics/substTactic.ml diff | blob | history
components/tactics/tactics.mli diff | blob | history
matita/contribs/LAMBDA-TYPES/Base-1/preamble.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/LambdaDelta-1/preamble.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Unified-Sub/Lift/inv.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Unified-Sub/datatypes/Context.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Unified-Sub/datatypes/Term.ma diff | blob | history
matita/contribs/LAMBDA-TYPES/Unified-Sub/makefile diff | blob | history
matita/contribs/RELATIONAL/NLE/inv.ma diff | blob | history
matita/contribs/RELATIONAL/NLE/order.ma diff | blob | history
matita/contribs/RELATIONAL/NPlus/inv.ma diff | blob | history
matita/contribs/RELATIONAL/Zah/defs.ma diff | blob | history
matita/contribs/RELATIONAL/Zah/setoid.ma diff | blob | history
matita/contribs/RELATIONAL/datatypes/Bool.ma diff | blob | history
matita/contribs/RELATIONAL/datatypes/List.ma diff | blob | history
matita/contribs/RELATIONAL/datatypes/Nat.ma diff | blob | history
matita/contribs/developments.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.