src/HOL/Eisbach/match_method.ML
Thu, 30 Apr 2015 17:02:57 +0200 wenzelm updated Eisbach, using version 5df3d8c72403 of its Bitbucket repository;
Fri, 17 Apr 2015 17:49:19 +0200 wenzelm added Eisbach, using version 3752768caa17 of its Bitbucket repository;
less more (0) tip