]> matita.cs.unibo.it Git - helm.git/commit
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
tree28acc03bfb433825384eed3b8a2a6977e3f71072
parent2c8da9d687c102ab8bc4c0424080f64ff76f3c53
CSC/Occam chain-saw/razor on tinycals and library generation/invalidation.
minor changes on patters terminology.
helm/papers/matita/matita2.tex