Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
Wed, 25 Mar 2015 10:41:53 +0100 | wenzelm | proper signature; | file | diff | annotate |
Tue, 17 Apr 2012 16:21:47 +1000 | Thomas Sewell | New tactic "word_bitwise" expands word equalities/inequalities into logic. | file | diff | annotate |