| Tue, 28 Jul 2009 18:17:36 +0200 | wenzelm | ResAxioms.neg_conjecture_clauses: proper context; | changeset | files |
| Tue, 28 Jul 2009 18:17:35 +0200 | wenzelm | neg_conjecture_clauses, neg_clausify_tac: proper context, eliminated METAHYPS; | changeset | files |
| Tue, 28 Jul 2009 18:17:35 +0200 | wenzelm | Hilbert_Classical: sequential loading due to @{prf}, which joins within a critical section (via options); | changeset | files |