]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fbf5c4d) | patch
Theorems from the library and from the context are indexed also in "unfolded"
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 9 Oct 2006 16:33:24 +0000 (16:33 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 9 Oct 2006 16:33:24 +0000 (16:33 +0000)
commitbbdf43ea2ac586be4f3c0779e98642b8f7bd1a03
tree409ca7a866310ff34dd62f4f2cb4c9438dbee1f7tree | snapshot
parentfbf5c4d2d512a87e9668bcac49139ba87243dbcfcommit | diff
Theorems from the library and from the context are indexed also in "unfolded"
version.
helm/software/components/tactics/autoCache.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.