7 months ago haftmann 2018-11-07 dedicated examples for sorting
8 months ago nipkow 2018-10-17 added Array files
8 months ago nipkow 2018-10-07 added Braun_Tree.thy
8 months ago wenzelm 2018-10-01 HOL-SPARK .prv files are no longer written to the file-system;
8 months ago wenzelm 2018-09-30 de-emphasize HOL-SPARK: somewhat outdated;
9 months ago nipkow 2018-09-05 tuned doc
10 months ago wenzelm 2018-07-28 more robust: potentially a workaround for spurious HOL build problems seen by Larry Paulson;
10 months ago eberlm 2018-07-22 Moved Real_Asymp manual
11 months ago wenzelm 2018-07-18 prefer HTTPS;
11 months ago Andreas Lochbihler 2018-07-15 merged
11 months ago Andreas Lochbihler 2018-07-15 more examples for Code_Lazy
11 months ago Manuel Eberl 2018-07-15 Added Real_Asymp package
11 months ago nipkow 2018-07-12 more economic tagging
11 months ago immler 2018-07-10 make theorem, corollary, and proposition %important for HOL-Analysis manual
11 months ago paulson 2018-07-02 Lots of new algebra theories by Martin Baillon and Paulo Emílio de Vilhena
11 months ago immler 2018-06-27 example for Types_To_Sets: transfer from type-based linear algebra to subspaces
11 months ago nipkow 2018-06-26 new theory Trie
11 months ago wenzelm 2018-06-26 clarified syntax;
11 months ago wenzelm 2018-06-26 simplified: allow only command names, with dummy for default;
12 months ago paulson 2018-06-14 reorganisation of Algebra: new material from Baillon and Vilhena, removal of duplicate names, elimination of "More_" theories
12 months ago paulson 2018-06-12 New material from Martin Baillon and Paulo Emílio de Vilhena
12 months ago nipkow 2018-05-29 canonical names
12 months ago nipkow 2018-05-24 reorganization, everything based on Tree2 now
13 months ago Andreas Lochbihler 2018-05-12 new tool Code_Lazy
13 months ago wenzelm 2018-05-09 less ambitious parallelism, notably for threads=2;
13 months ago haftmann 2018-04-25 proof of concept for residue rings over int using type numerals
13 months ago haftmann 2018-04-24 proper datatype for 8-bit characters
14 months ago nipkow 2018-04-08 more name tuning
15 months ago haftmann 2018-03-21 proof of concept for algebraically founded bit lists
16 months ago nipkow 2018-02-14 New theory ex/Radix_Sort.thy
16 months ago Lars Hupel 2018-02-14 records based on datatypes/BNF infrastructure
17 months ago blanchet 2018-01-02 moved 'realizers' into their own theory, now that they are decupled from the old datatype construction
17 months ago eberlm 2017-12-24 Removed Analysis/ex/Circle_Area; replaced by more general Analysis/Ball_Volume
18 months ago traytel 2017-12-18 a conditional paramitrecity prover
18 months ago wenzelm 2017-12-16 PIDE markup for session ROOT files;
18 months ago wenzelm 2017-12-07 more robust;
18 months ago wenzelm 2017-12-06 just one session for bulky HOL-Analysis documents;
18 months ago wenzelm 2017-12-03 simplified session (again, see 39e29972cb96): WordExamples requires < 1s;
18 months ago wenzelm 2017-11-27 clarified main sessions;
19 months ago nipkow 2017-11-07 Replaced { } proofs by local lemmas; added Hoare logic with logical variables.
19 months ago wenzelm 2017-11-03 less global theories -- avoid confusion about special cases;
19 months ago wenzelm 2017-11-01 more timing;
19 months ago wenzelm 2017-11-01 build faster without heap images for minor imports;
19 months ago wenzelm 2017-10-31 no censorship (in contrast to 2c828c830ad7);
19 months ago haftmann 2017-10-31 removed ancient nat-int transfer
19 months ago wenzelm 2017-10-30 recovered document from 9bfb6978eb80;
19 months ago wenzelm 2017-10-30 ROOT cleanup: empty 'document_files' means there is no document;
19 months ago wenzelm 2017-10-28 reduced heap hierarchy, for potentially improved performance;
20 months ago wenzelm 2017-10-11 tuned;
20 months ago haftmann 2017-10-08 Polynomial_Factorial does not depend on Field_as_Ring as such
20 months ago haftmann 2017-10-08 removed mere toy example from library
20 months ago wenzelm 2017-10-07 clarified session structure;
20 months ago wenzelm 2017-10-02 prefer file dependencies wrt. specific theories;
20 months ago wenzelm 2017-10-02 proper document (cf. 9f5bfef8bd82);
20 months ago wenzelm 2017-10-02 removed pointless dependencies: done by 'spark_open';
20 months ago wenzelm 2017-10-02 clarified imports: prefer parent session images;
20 months ago wenzelm 2017-10-02 eliminated old-style no-document imports;
21 months ago blanchet 2017-09-08 removed obsolete session
21 months ago nipkow 2017-08-31 Moved material into AFP/Splay_Tree
21 months ago nipkow 2017-08-29 new file