]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 64d7a7d) | patch
Procedural : some improvements
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 14 Feb 2007 17:10:16 +0000 (17:10 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 14 Feb 2007 17:10:16 +0000 (17:10 +0000)
commit977e819edc19f6c25d9f05c2fafe72c63ad301fd
tree3631fd6370bf0cb99e83055c97c08d422aed3a5dtree | snapshot
parent64d7a7dfa840d7279f9af64240ee1f8a69181801commit | diff
Procedural       : some improvements
PrimitiveTactics : tentative implementation of using clause in elim
CicNotationParser: noe declarations of the form (_:t) are parsable
16 files changed:
helm/software/components/METAS/meta.helm-acic_procedural.src diff | blob | history
helm/software/components/Makefile diff | blob | history
helm/software/components/acic_procedural/.depend diff | blob | history
helm/software/components/acic_procedural/.depend.opt diff | blob | history
helm/software/components/acic_procedural/Makefile diff | blob | history
helm/software/components/acic_procedural/acic2Procedural.ml diff | blob | history
helm/software/components/acic_procedural/cicClassify.ml [deleted file] blob | history
helm/software/components/acic_procedural/cicClassify.mli [deleted file] blob | history
helm/software/components/acic_procedural/proceduralClassify.ml [new file with mode: 0644] blob
helm/software/components/acic_procedural/proceduralClassify.mli [new file with mode: 0644] blob
helm/software/components/acic_procedural/proceduralMode.ml [new file with mode: 0644] blob
helm/software/components/acic_procedural/proceduralMode.mli [new file with mode: 0644] blob
helm/software/components/acic_procedural/proceduralTypes.ml diff | blob | history
helm/software/components/acic_procedural/proceduralTypes.mli diff | blob | history
helm/software/components/content_pres/cicNotationParser.ml diff | blob | history
helm/software/components/tactics/primitiveTactics.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.