| Sun, 30 Jun 2024 06:30:08 +0000 |
haftmann |
moved transitional theory Divides to HOL-Library
|
file |
diff |
annotate
|
| Mon, 04 Mar 2024 19:14:16 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Mon, 20 Feb 2023 13:50:56 +0100 |
nipkow |
backout rev 334015f9098e (for Main_Doc.thy only)
|
file |
diff |
annotate
|
| Tue, 14 Feb 2023 08:10:17 +0100 |
nipkow |
removed Map from docu
|
file |
diff |
annotate
|
| Sat, 25 Jun 2022 13:34:41 +0200 |
desharna |
moved antimono to Fun and redefined it as an abbreviation
|
file |
diff |
annotate
|
| Sat, 25 Jun 2022 13:21:27 +0200 |
desharna |
moved mono and strict_mono to Fun and redefined them as abbreviations
|
file |
diff |
annotate
|
| Sun, 07 Nov 2021 10:07:09 +0100 |
nipkow |
more precise URL
|
file |
diff |
annotate
|
| Sun, 07 Nov 2021 09:54:17 +0100 |
nipkow |
tuned page breaks
|
file |
diff |
annotate
|
| Tue, 02 Nov 2021 16:01:25 +0100 |
wenzelm |
improve pagebreaks by *not* using supertabular too much;
|
file |
diff |
annotate
|
| Tue, 21 Sep 2021 00:20:47 +0200 |
wenzelm |
bundle lattice_syntax / no_lattice_syntax supersedes theory HOL-Library.Lattice_Syntax;
|
file |
diff |
annotate
|
| Fri, 21 May 2021 12:29:29 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Sun, 18 Nov 2018 18:07:51 +0000 |
haftmann |
removed legacy input syntax
|
file |
diff |
annotate
|
| Wed, 03 Oct 2018 11:09:08 +0200 |
nipkow |
shuffle -> shuffles
|
file |
diff |
annotate
|
| Mon, 24 Sep 2018 16:09:27 +0200 |
nipkow |
more conversion from ( * ) to (*)
|
file |
diff |
annotate
|
| Fri, 22 Jun 2018 20:31:49 +0200 |
wenzelm |
clarified document antiquotation @{theory};
|
file |
diff |
annotate
|
| Sun, 03 Jun 2018 19:06:56 +0200 |
nipkow |
list syntax details
|
file |
diff |
annotate
|
| Tue, 22 May 2018 11:08:37 +0200 |
nipkow |
First step to remove nonstandard "[x <- xs. P]" syntax: only input
|
file |
diff |
annotate
|
| Sun, 20 May 2018 11:57:17 +0200 |
wenzelm |
prefer HTTPS;
|
file |
diff |
annotate
|
| Thu, 25 Jan 2018 14:13:55 +0100 |
wenzelm |
clarified signature: items with \isasep are special;
|
file |
diff |
annotate
|
| Thu, 18 Jan 2018 21:41:30 +0100 |
wenzelm |
clarified access to antiquotation options;
|
file |
diff |
annotate
|
| Wed, 10 Jan 2018 15:25:09 +0100 |
nipkow |
ran isabelle update_op on all sources
|
file |
diff |
annotate
|
| Tue, 09 Jan 2018 15:40:12 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 15 Aug 2017 22:23:16 +0200 |
nipkow |
NEWS sorted_wrt
|
file |
diff |
annotate
|
| Tue, 30 May 2017 11:12:00 +0200 |
nipkow |
adjusted doc
|
file |
diff |
annotate
|
| Mon, 29 May 2017 09:14:15 +0200 |
eberlm |
reorganised material on sublists
|
file |
diff |
annotate
|
| Sun, 28 May 2017 13:57:43 +0200 |
nipkow |
introduced arg_max
|
file |
diff |
annotate
|
| Sun, 28 May 2017 11:32:15 +0200 |
nipkow |
added is_arg_min
|
file |
diff |
annotate
|
| Sun, 28 May 2017 08:07:40 +0200 |
nipkow |
removed LeastM; is now arg_min
|
file |
diff |
annotate
|
| Tue, 18 Oct 2016 07:04:08 +0200 |
haftmann |
restored document structure after theory refactoring
|
file |
diff |
annotate
|