| Thu, 07 Aug 2025 21:40:03 +0200 |
wenzelm |
avoid legacy operations;
|
file |
diff |
annotate
|
| Wed, 21 May 2025 10:30:34 +0200 |
haftmann |
prefer Simplifier over bootstrap-only Raw_Simplifier
|
file |
diff |
annotate
|
| Fri, 04 Jan 2019 23:22:53 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Fri, 23 Feb 2018 19:25:37 +0100 |
wenzelm |
added HOLogic.mk_obj_eq convenience and eliminated some clones;
|
file |
diff |
annotate
|
| Mon, 24 Oct 2016 16:53:32 +0200 |
traytel |
additional user-specified simp (naturality) rules used in friend_of_corec
|
file |
diff |
annotate
|
| Mon, 12 Sep 2016 19:22:37 +0200 |
blanchet |
moved ML function
|
file |
diff |
annotate
|
| Mon, 04 Apr 2016 22:55:50 +0200 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
| Tue, 29 Mar 2016 18:32:08 +0200 |
blanchet |
try tactics in right order w.r.t. schematics
|
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 |
strengthened tactic
|
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
|