Fri, 27 Aug 2010 10:56:46 +0200 | haftmann | formerly unnamed infix conjunction and disjunction now named HOL.conj and HOL.disj | changeset | files |
Fri, 27 Aug 2010 10:55:20 +0200 | haftmann | tuned fact reference | changeset | files |
Fri, 27 Aug 2010 09:43:52 +0200 | bulwahn | merged | changeset | files |