]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c3d544) | patch
1. CicReduction moved into CicReductionNaif
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 16 Apr 2002 09:00:50 +0000 (09:00 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 16 Apr 2002 09:00:50 +0000 (09:00 +0000)
commit0054d117ebed7924a96bcaadc9bcbbef9d372938
tree83e64c46400a7644c88e933614aa2228769fa2e6tree | snapshot
parent7c3d544d25bbe7e38e5041c0e75950d5e6a328b3commit | diff
1. CicReduction moved into CicReductionNaif
2. CicReductionMachine is the new implementation based on an
   "environment machine".
You must make a sumbolic link from one implementation (.ml) to
cicReduction.ml
helm/ocaml/cic_proof_checking/.depend diff | blob | history
helm/ocaml/cic_proof_checking/Makefile diff | blob | history
helm/ocaml/cic_proof_checking/cicReductionMachine.ml [new file with mode: 0644] blob
helm/ocaml/cic_proof_checking/cicReductionMachine.mli [new file with mode: 0644] blob
helm/ocaml/cic_proof_checking/cicReductionNaif.ml [new file with mode: 0644] blob
helm/ocaml/cic_proof_checking/cicReductionNaif.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.