| Thu, 02 Jan 2025 08:37:55 +0100 |
haftmann |
refined syntax for code_reserved
|
file |
diff |
annotate
|
| 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
|
| Sun, 21 Aug 2022 06:18:23 +0000 |
haftmann |
simplified computation algorithm construction
|
file |
diff |
annotate
|
| Sun, 15 Nov 2020 07:17:06 +0000 |
haftmann |
bundles for reflected term syntax
|
file |
diff |
annotate
|
| Sat, 19 Jan 2019 07:19:16 +0000 |
haftmann |
self-contained code modules for Haskell
|
file |
diff |
annotate
|
| Fri, 04 Jan 2019 23:22:53 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Sat, 29 Dec 2018 09:28:30 +0000 |
haftmann |
explicit dependencies for includes
|
file |
diff |
annotate
|
| Thu, 08 Nov 2018 22:29:09 +0100 |
wenzelm |
isabelle update_cartouches -t;
|
file |
diff |
annotate
|
| Wed, 18 Jul 2018 20:51:22 +0200 |
haftmann |
setup for Haskell taken over from AFP / Gauss_Jordan
|
file |
diff |
annotate
|
| Wed, 18 Jul 2018 20:51:21 +0200 |
haftmann |
tuned equation
|
file |
diff |
annotate
|
| Wed, 18 Jul 2018 20:51:20 +0200 |
haftmann |
restructured for future incorporation of Haskell
|
file |
diff |
annotate
|
| Wed, 18 Jul 2018 20:51:19 +0200 |
haftmann |
slightly more uniform style
|
file |
diff |
annotate
|
| Wed, 18 Jul 2018 20:51:17 +0200 |
haftmann |
taken over from AFP / Gauss_Jordan
|
file |
diff |
annotate
|
| Wed, 18 Jul 2018 20:51:16 +0200 |
haftmann |
more cartouches
|
file |
diff |
annotate
|
| Thu, 15 Feb 2018 12:11:00 +0100 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|