]> matita.cs.unibo.it Git - helm.git/commit
new tactics by CSC
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 21 Sep 2009 14:05:59 +0000 (14:05 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 21 Sep 2009 14:05:59 +0000 (14:05 +0000)
commit45f87a7044ccab3d8f1300bfc33ca93a6ad868cb
tree086e122ff050423355fd89ff5370a87c8fe6518a
parent849c15ec9cc74737cbf5d392fa565e0630f903d7
new tactics by CSC
helm/software/matita/matita.lang