| Fri, 20 Sep 2024 19:51:08 +0200 |
wenzelm |
standardize mixfix annotations via "isabelle update -a -u mixfix_cartouches" --- to simplify systematic editing;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2023 18:19:10 +0100 |
nipkow |
Adjusted to new map update priorities
|
file |
diff |
annotate
|
| Tue, 16 Jan 2018 09:30:00 +0100 |
wenzelm |
standardized towards new-style formal comments: isabelle update_comments;
|
file |
diff |
annotate
|
| Sat, 02 Jan 2016 18:48:45 +0100 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
| Wed, 07 Oct 2015 23:28:49 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
| Wed, 24 Jun 2015 21:26:03 +0200 |
wenzelm |
clarified 'case' command;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 17:58:35 +0100 |
wenzelm |
modernized header;
|
file |
diff |
annotate
|
| Thu, 13 Mar 2014 07:07:07 +0100 |
nipkow |
enhanced simplifier solver for preconditions of rewrite rule, can now deal with conjunctions
|
file |
diff |
annotate
|
| Fri, 20 Apr 2012 23:15:44 +0200 |
wenzelm |
tuned proofs;
|
file |
diff |
annotate
|
| Fri, 05 Aug 2011 16:55:14 +0200 |
Andreas Lochbihler |
replace old SML code generator by new code generator in MicroJava/J
|
file |
diff |
annotate
|
| Mon, 01 Mar 2010 13:40:23 +0100 |
haftmann |
replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
|
file |
diff |
annotate
|
| Sat, 24 Oct 2009 16:55:42 +0200 |
bulwahn |
changed import_intros to handle parameters differently; changed handling of higher-order function compilation; reverted MicroJava change; tuned
|
file |
diff |
annotate
|
| Sat, 24 Oct 2009 16:55:42 +0200 |
bulwahn |
further cleaning up
|
file |
diff |
annotate
|
| Tue, 07 Oct 2008 16:07:50 +0200 |
haftmann |
arbitrary is undefined
|
file |
diff |
annotate
|
| Wed, 11 Jul 2007 11:32:02 +0200 |
berghofe |
- Renamed inductive2 to inductive
|
file |
diff |
annotate
|