]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ac74195) | patch
- new devel contribs/LAMBDA-TYPES/Base-2 with the automatically generated
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 18 May 2007 15:55:49 +0000 (15:55 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 18 May 2007 15:55:49 +0000 (15:55 +0000)
commit797f61edb93f41eb2c5e281bc9457f6bff633063
tree71d49fe6db2466d8c08f62460dd632931759cf78tree | snapshot
parentac741958783108ff31552e533c853e85c2ebb1c5commit | diff
- new devel contribs/LAMBDA-TYPES/Base-2 with the automatically generated
  procedural representation of the proofs in contribs/LAMBDA-TYPES/Base-1
- template_makefile_devel.in: %.mo.opt now works
- acic_procedural: some improvements
- PrimitiveTactics: a part of the elim tactic was factorixed for use by the
  procedural reconstruction
21 files changed:
helm/software/components/acic_procedural/acic2Procedural.ml diff | blob | history
helm/software/components/acic_procedural/proceduralConversion.ml diff | blob | history
helm/software/components/acic_procedural/proceduralConversion.mli diff | blob | history
helm/software/components/tactics/primitiveTactics.ml diff | blob | history
helm/software/components/tactics/primitiveTactics.mli diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/Makefile [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/blt/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/depend [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/arith.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/ext/tactics.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/log.txt [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/makefile [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/plist/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/preamble.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/theory.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Base-2/types/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Makefile diff | blob | history
helm/software/matita/template_makefile_devel.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.