Wed, 20 Mar 2019 20:15:30 +0100 |
wenzelm |
access OCaml tools and libraries via ISABELLE_OCAMLFIND;
|
file |
diff |
annotate
|
Fri, 14 Dec 2018 14:33:26 +0100 |
Manuel Eberl |
Added triangular numbers
|
file |
diff |
annotate
|
Fri, 18 Jan 2019 19:48:04 -0500 |
immler |
automation for unverloading definitions
|
file |
diff |
annotate
|
Sun, 30 Dec 2018 10:34:56 +0000 |
haftmann |
redundant
|
file |
diff |
annotate
|
Fri, 28 Dec 2018 18:53:19 +0100 |
nipkow |
tuned headers etc, added bib-file
|
file |
diff |
annotate
|
Tue, 20 Nov 2018 13:46:13 +0100 |
wenzelm |
tuned -- refining auto-update 15e9ed5b28fb;
|
file |
diff |
annotate
|
Thu, 08 Nov 2018 22:29:09 +0100 |
wenzelm |
isabelle update_cartouches -t;
|
file |
diff |
annotate
|
Wed, 07 Nov 2018 11:08:12 +0000 |
haftmann |
dedicated examples for sorting
|
file |
diff |
annotate
|
Wed, 17 Oct 2018 21:00:53 +0200 |
nipkow |
added Array files
|
file |
diff |
annotate
|
Sun, 07 Oct 2018 16:28:38 +0200 |
nipkow |
added Braun_Tree.thy
|
file |
diff |
annotate
|
Mon, 01 Oct 2018 12:41:35 +0200 |
wenzelm |
HOL-SPARK .prv files are no longer written to the file-system;
|
file |
diff |
annotate
|
Sun, 30 Sep 2018 13:00:08 +0200 |
wenzelm |
de-emphasize HOL-SPARK: somewhat outdated;
|
file |
diff |
annotate
|
Wed, 05 Sep 2018 05:05:00 +0200 |
nipkow |
tuned doc
|
file |
diff |
annotate
|
Sat, 28 Jul 2018 16:49:53 +0200 |
wenzelm |
more robust: potentially a workaround for spurious HOL build problems seen by Larry Paulson;
|
file |
diff |
annotate
|
Sun, 22 Jul 2018 19:29:51 +0200 |
eberlm |
Moved Real_Asymp manual
|
file |
diff |
annotate
|
Wed, 18 Jul 2018 16:44:01 +0200 |
wenzelm |
prefer HTTPS;
|
file |
diff |
annotate
|
Sun, 15 Jul 2018 23:44:52 +0200 |
Andreas Lochbihler |
merged
|
file |
diff |
annotate
|
Sun, 15 Jul 2018 23:44:38 +0200 |
Andreas Lochbihler |
more examples for Code_Lazy
|
file |
diff |
annotate
|
Sun, 15 Jul 2018 14:46:57 +0200 |
Manuel Eberl |
Added Real_Asymp package
|
file |
diff |
annotate
|
Thu, 12 Jul 2018 11:23:46 +0200 |
nipkow |
more economic tagging
|
file |
diff |
annotate
|
Tue, 10 Jul 2018 09:38:35 +0200 |
immler |
make theorem, corollary, and proposition %important for HOL-Analysis manual
|
file |
diff |
annotate
|
Mon, 02 Jul 2018 14:41:35 +0100 |
paulson |
Lots of new algebra theories by Martin Baillon and Paulo Emílio de Vilhena
|
file |
diff |
annotate
|
Wed, 27 Jun 2018 11:16:43 +0200 |
immler |
example for Types_To_Sets: transfer from type-based linear algebra to subspaces
|
file |
diff |
annotate
|
Tue, 26 Jun 2018 22:39:06 +0200 |
nipkow |
new theory Trie
|
file |
diff |
annotate
|
Tue, 26 Jun 2018 19:03:13 +0200 |
wenzelm |
clarified syntax;
|
file |
diff |
annotate
|
Tue, 26 Jun 2018 17:42:49 +0200 |
wenzelm |
simplified: allow only command names, with dummy for default;
|
file |
diff |
annotate
|
Thu, 14 Jun 2018 14:23:38 +0100 |
paulson |
reorganisation of Algebra: new material from Baillon and Vilhena, removal of duplicate names, elimination of "More_" theories
|
file |
diff |
annotate
|
Tue, 12 Jun 2018 16:08:57 +0100 |
paulson |
New material from Martin Baillon and Paulo Emílio de Vilhena
|
file |
diff |
annotate
|
Tue, 29 May 2018 14:05:59 +0200 |
nipkow |
canonical names
|
file |
diff |
annotate
|
Thu, 24 May 2018 14:42:47 +0200 |
nipkow |
reorganization, everything based on Tree2 now
|
file |
diff |
annotate
|