From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sat, 13 Sep 2003 23:57:23 +0000 (+0000)
Subject: added support for dump/restore/clear proof checker cache
X-Git-Tag: V_0_4_3_4~35
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d1010e05c0d73e3b44d3d971592bd8be9e1e0752;hp=d1010e05c0d73e3b44d3d971592bd8be9e1e0752;p=helm.git

added support for dump/restore/clear proof checker cache
---