3 months ago nipkow 2019-01-25 tuned
3 months ago nipkow 2019-01-25 moved retracts
3 months ago Angeliki KoutsoukouArgyraki 2019-01-25 tagged 4 theories
3 months ago paulson 2019-01-24 merged
3 months ago paulson 2019-01-24 the theory of Equipollence, and moving Fpow from Cardinals into Main
3 months ago wenzelm 2019-01-24 proper treatment of x86_64_32;
3 months ago haftmann 2019-01-24 more appropriate section
3 months ago haftmann 2019-01-23 combinator to lift local theory update to theory update
3 months ago Angeliki KoutsoukouArgyraki 2019-01-24 merged
3 months ago Angeliki KoutsoukouArgyraki 2019-01-24 tagged 5 theories
3 months ago wenzelm 2019-01-23 obsolete -- updated in Poly/ML;
3 months ago wenzelm 2019-01-23 updated to polyml-test-a444f281ccec;
3 months ago wenzelm 2019-01-23 prefer x86_64_32 over x86;
3 months ago wenzelm 2019-01-23 clarified signature;
3 months ago wenzelm 2019-01-23 updated x86_64-linux base line;
3 months ago blanchet 2019-01-23 fixed me -- indeed this was wrong, as demonstrated by the predicate-free HO output (e.g. ehoh with keep_lams)
3 months ago Angeliki KoutsoukouArgyraki 2019-01-23 tagged 2 theories ie Cartesian_Euclidean_Space Cartesian_Space
3 months ago Angeliki KoutsoukouArgyraki 2019-01-22 minor tagging updates in 13 theories
3 months ago Angeliki KoutsoukouArgyraki 2019-01-22 merged
3 months ago Angeliki KoutsoukouArgyraki 2019-01-22 redid tagging for 3 theories i.e. Determinants, Change_of_Vars, Finite_Cartesian_Product
3 months ago wenzelm 2019-01-22 Backed out changeset 1bc422c08209 -- obsolete in AFP/5d11846ac6ab;
3 months ago blanchet 2019-01-22 really keep lambdas in translation if only predicates are missing
3 months ago blanchet 2019-01-22 tune ATP settings
4 months ago Manuel Eberl 2018-12-14 Added triangular numbers
3 months ago wenzelm 2019-01-22 keep Local_Theory.reset for now -- still required in many AFP sessions (amending 1c201e4792cb);
3 months ago wenzelm 2019-01-22 merged
3 months ago wenzelm 2019-01-22 use polyml-test-0a6ebca445fc by default: already quite stable;
3 months ago paulson 2019-01-22 renamings and new material
3 months ago paulson 2019-01-22 merged
3 months ago paulson 2019-01-22 some renamings and a bit of new material
3 months ago haftmann 2019-01-21 slightly more conventional naming schema
3 months ago haftmann 2019-01-21 Local_Theory.reset only required for toplevel interaction, attempt to withhold it from user space
3 months ago blanchet 2019-01-21 updated news
3 months ago blanchet 2019-01-21 get rid of visibility in MaSh -- it slows it down more than it helps
3 months ago wenzelm 2019-01-21 merged
3 months ago wenzelm 2019-01-21 updated polyml platform: 32=x86_64_32;
3 months ago wenzelm 2019-01-21 more thorough purge_platforms;
3 months ago wenzelm 2019-01-21 clarified ML_OPTIONS on Windows;
3 months ago wenzelm 2019-01-21 more operations;
3 months ago paulson 2019-01-21 new material about summations and powers, along with some tweaks
3 months ago haftmann 2019-01-20 dedicated combinator for declarations nested in a local theory block
3 months ago haftmann 2019-01-20 more conventional parsing of code_stmts antiquotation
3 months ago haftmann 2019-01-20 more conventional syntax for code_stmts antiquotation
3 months ago wenzelm 2019-01-20 avoid crash of jEdit.closeBuffer() via TaskManager.instance.waitForIoTasks() due to race condition of save() vs. automatic load() of already open buffer, e.g. relevant for save-as on "isabelle-export:" artifacts;
3 months ago haftmann 2019-01-19 algebraized more material from theory Divides
3 months ago wenzelm 2019-01-19 tuned output;
3 months ago wenzelm 2019-01-19 more official AFP.groups; clarified bulky sessions;
3 months ago wenzelm 2019-01-19 auto-update for some experimental components;
3 months ago wenzelm 2019-01-19 clarified URLs: prefer sketis over bitbucket;
3 months ago haftmann 2019-01-19 self-contained code modules for Haskell
3 months ago immler 2019-01-18 automation for unverloading definitions
3 months ago immler 2019-01-18 restore type variable names in unoverload_type
3 months ago nipkow 2019-01-18 resolved conflict
3 months ago nipkow 2019-01-18 resolved conflict
3 months ago nipkow 2019-01-18 tuned headers
3 months ago immler 2019-01-17 amending 689997a8a582
3 months ago immler 2019-01-17 subsection is always %important
3 months ago immler 2019-01-17 no need for %unimportant for proofs of proposition
3 months ago immler 2019-01-17 redo tagging-related changes from a06b204527e6, 0f4d4a13dc16, and a8faf6f15da7
3 months ago immler 2019-01-17 revert to 56acd449da41