Thu, 21 Jul 2016 10:52:27 +0200 | wenzelm | merged | changeset | files |
Wed, 20 Jul 2016 22:36:10 +0200 | wenzelm | provide Pure.simp/simp_all, which only know about meta-equality; | changeset | files |
Wed, 20 Jul 2016 21:26:11 +0200 | wenzelm | clarified imports; | changeset | files |