]> matita.cs.unibo.it Git - helm.git/commit
exported pp function for terms
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 12 Apr 2006 21:15:27 +0000 (21:15 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 12 Apr 2006 21:15:27 +0000 (21:15 +0000)
commitb74ab91d1db4b1b88471fc47460b6be15a58b162
treeda46cd6cbd10cb51cb03b7d796579ae538f12ddf
parent37632a908f126ebe1c927cd5c997434d4cd0bf2c
exported pp function for terms
helm/software/matita/library/legacy/coq.ma