]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e427c64) | patch
changed functor interface, now based on proofs instead of metasenvs (this one is...
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 6 Oct 2005 17:59:24 +0000 (17:59 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 6 Oct 2005 17:59:24 +0000 (17:59 +0000)
commit8508b9dd5fa37b169b36e8143df8bf5e9206b127
tree4b915f47b8fd8ce1b62f54a0b7a223bb64cd135btree | snapshot
parente427c64ca108ee583f7faf05ea4d1b95512da40fcommit | diff
changed functor interface, now based on proofs instead of metasenvs (this one is implementable on top of ProofEngineTypes ...)
helm/ocaml/tactics/continuationals.ml diff | blob | history
helm/ocaml/tactics/continuationals.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.