Wed, 30 Dec 2015 18:17:28 +0100 | wenzelm | more symbols; | file | diff | annotate |
Tue, 10 Feb 2015 16:46:21 +0100 | wenzelm | misc tuning; | file | diff | annotate |
Mon, 10 Nov 2014 21:49:48 +0100 | wenzelm | proper context for assume_tac (atac remains as fall-back without context); | file | diff | annotate |
Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
Wed, 11 Jun 2014 14:24:23 +1000 | Thomas Sewell | Hypsubst preserves equality hypotheses | file | diff | annotate |
Sat, 27 Apr 2013 20:50:20 +0200 | wenzelm | uniform Proof.context for hyp_subst_tac; | file | diff | annotate |
Sun, 15 May 2011 17:45:53 +0200 | wenzelm | simplified/unified method_setup/attribute_setup; | file | diff | annotate |
Wed, 10 Mar 2010 15:38:33 -0800 | huffman | convert SET_Protocol to use Nat_Bijection library | file | diff | annotate |
Tue, 20 Oct 2009 20:03:23 +0200 | wenzelm | modernized session SET_Protocol; | file | diff | annotate | base |