]> matita.cs.unibo.it Git - helm.git/tree
fbe73b92f0db332ca2e800b5a692a7c176da13f6
-rw-r--r-- 128736 log.090625
-rw-r--r-- 1263350 log.090627
-rw-r--r-- 1220397 log.090629
-rw-r--r-- 278614 log.090629-no-infer-on-closed-goals-10
-rw-r--r-- 2178274 log.90.fixed-order
-rw-r--r-- 2265715 log.90.fixed-order.2
-rw-r--r-- 2181245 log.90.reference.submitted.CASC.2009