Tue, 29 Mar 2016 19:17:05 +0200 | blanchet | tuning | file | diff | annotate |
Tue, 29 Mar 2016 18:07:55 +0200 | blanchet | more natural order for 'cong_intros' | file | diff | annotate |
Tue, 29 Mar 2016 10:57:02 +0200 | blanchet | renamed generated theorem | file | diff | annotate |
Mon, 28 Mar 2016 12:05:47 +0200 | blanchet | avoid 'prove_sorry' for unreliable tactics | file | diff | annotate |
Mon, 28 Mar 2016 12:05:47 +0200 | blanchet | reused code | file | diff | annotate |
Mon, 28 Mar 2016 12:05:47 +0200 | blanchet | tuning | file | diff | annotate |
Mon, 28 Mar 2016 12:05:47 +0200 | blanchet | more reliable check for rhs variables | file | diff | annotate |
Wed, 23 Mar 2016 16:37:13 +0100 | blanchet | sorted out type issue with sort constraints | file | diff | annotate |
Tue, 22 Mar 2016 12:39:37 +0100 | blanchet | moved 'corec' from ssh://hg@bitbucket.org/jasmin_blanchette/nonprim-corec to Isabelle | file | diff | annotate |