]> matita.cs.unibo.it Git - helm.git/commit
first working (?) version of lapply
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 25 Jun 2005 19:17:47 +0000 (19:17 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 25 Jun 2005 19:17:47 +0000 (19:17 +0000)
commit8c5a76439368f52a7df7c7b524c726b1f9d4eb39
tree794a8395b6713eac95e40d41fb9e15eba41effa5
parent90c15accf8c385a3dc44aa5f6df13f707514e2cd
first working (?) version of lapply
helm/matita/matita.lang
helm/matita/matitaEngine.ml
helm/matita/tests/fguidi.ma
helm/ocaml/tactics/fwdSimplTactic.ml