Wed, 04 Jul 2007 16:49:36 +0200 | wenzelm | added binop_cong_rule; | changeset | files |
Wed, 04 Jul 2007 16:49:35 +0200 | wenzelm | export dlo_conv; | changeset | files |
Wed, 04 Jul 2007 16:49:34 +0200 | wenzelm | replaced HOLogic.Trueprop_conv by ObjectLogic.judgment_conv; | changeset | files |