Tue, 05 Jun 2018 18:08:13 +0200 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
Mon, 01 Jan 2018 23:07:24 +0100 |
wenzelm |
misc tuning and modernization;
|
file |
diff |
annotate
|
Mon, 25 Jul 2016 21:50:04 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
Wed, 13 Jan 2016 23:07:06 +0100 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
Wed, 30 Dec 2015 21:23:38 +0100 |
wenzelm |
clarified print modes;
|
file |
diff |
annotate
|
Fri, 09 Oct 2015 20:26:03 +0200 |
wenzelm |
discontinued specific HTML syntax;
|
file |
diff |
annotate
|
Mon, 27 Jul 2015 17:44:55 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 04 Mar 2015 22:05:01 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Wed, 04 Mar 2015 19:53:18 +0100 |
wenzelm |
tuned signature -- prefer qualified names;
|
file |
diff |
annotate
|
Sun, 09 Nov 2014 17:04:14 +0100 |
wenzelm |
proper context for match_tac etc.;
|
file |
diff |
annotate
|
Sun, 02 Nov 2014 17:16:01 +0100 |
wenzelm |
modernized header;
|
file |
diff |
annotate
|
Sat, 16 Aug 2014 16:18:39 +0200 |
wenzelm |
clarified order of rules for match_tac/resolve_tac;
|
file |
diff |
annotate
|
Sat, 16 Aug 2014 11:35:33 +0200 |
wenzelm |
prefer 'named_theorems' over Named_Thms, with subtle change of semantics due to visual order vs. internal reverse order;
|
file |
diff |
annotate
|
Sat, 25 May 2013 15:37:53 +0200 |
wenzelm |
syntax translations always depend on context;
|
file |
diff |
annotate
|
Thu, 18 Apr 2013 17:07:01 +0200 |
wenzelm |
simplifier uses proper Proof.context instead of historic type simpset;
|
file |
diff |
annotate
|