]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_proof_checking/cicReduction.ml
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
made executable again
[helm.git] / helm / ocaml / cic_proof_checking / cicReduction.ml
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/ commit | commitdiff
2006-01-19 Claudio Sacerdoti... New reduction strategy (that behaves much better during... commit | commitdiff
2006-01-16 Claudio Sacerdoti... Dead code removed and reindentation. commit | commitdiff
2006-01-16 Claudio Sacerdoti... (Partial commit) commit | commitdiff
2006-01-10 Claudio Sacerdoti... Dead code removed. commit | commitdiff
2006-01-08 Claudio Sacerdoti... Added $Id$ to every .ml file. commit | commitdiff
2005-11-27 Stefano Zacchiroliremoved deadcode / fixed typos (thanks to ocaml 3.09) commit | commitdiff
2005-10-27 Claudio Sacerdoti... 1. Parameter enable (default true) added to HExtlib... commit | commitdiff
2005-10-25 Enrico Tassimoved the expansion of implicits inside the refiner... commit | commitdiff
2005-10-25 Claudio Sacerdoti... Debugging code turned off. commit | commitdiff
2005-10-25 Claudio Sacerdoti... * More profiling code commit | commitdiff
2005-09-21 Claudio Sacerdoti... More debug_print made lazy. commit | commitdiff
2005-07-08 Claudio Sacerdoti... An impossible case changed to an assert false. commit | commitdiff
2005-06-15 Enrico Tassiare_convertible on MutCase was no longer checking the... commit | commitdiff
2005-06-10 Claudio Sacerdoti... * (Head) beta reduction functions factorized commit | commitdiff
2005-06-01 Enrico Tassiadded C.Appl [] case commit | commitdiff
2005-05-31 Enrico Tassiimplemented normalize (used in new_metasenv_for_apply) commit | commitdiff
2005-05-27 Enrico Tassiremoved debug prerr_endline commit | commitdiff
2005-04-27 Stefano Zacchirolimerged changes from the svn fork by me and Enrico commit | commitdiff
2002-04-16 Andrea AspertiReplaced with a symbolic link to the actual implementation. commit | commitdiff
2001-12-05 Claudio Sacerdoti... Debugging code removed to achieve more tail-recursivity. commit | commitdiff
2001-12-05 Claudio Sacerdoti... Just code clean-up. commit | commitdiff
2001-12-03 Claudio Sacerdoti... * Major code cleanup. commit | commitdiff
2001-11-29 Claudio Sacerdoti... LetIn reduction (alias zeta-reduction) is now performed... commit | commitdiff
2001-11-26 Claudio Sacerdoti... HELM OCaml libraries with findlib support. commit | commitdiff
Unnamed repository; edit this file 'description' to name the repository.