]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2c8da9d) | patch
CSC/Occam chain-saw/razor on tinycals and library generation/invalidation.
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 30 Jan 2006 14:13:41 +0000 (14:13 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 30 Jan 2006 14:13:41 +0000 (14:13 +0000)
commitecae84bd553e50c3182697e994ea28ae2d18d68f
tree28acc03bfb433825384eed3b8a2a6977e3f71072tree | snapshot
parent2c8da9d687c102ab8bc4c0424080f64ff76f3c53commit | diff
CSC/Occam chain-saw/razor on tinycals and library generation/invalidation.
minor changes on patters terminology.
helm/papers/matita/matita2.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.