20 months ago paulson 2017-10-30 New results in topology, mostly from HOL Light's moretop.ml
20 months ago haftmann 2017-10-30 generalized some lemmas on multisets
20 months ago haftmann 2017-10-30 rule out pathologic instances
20 months ago haftmann 2017-10-30 tuned some proofs and added some lemmas
20 months ago wenzelm 2017-10-29 more recent polyml-test version;
20 months ago nipkow 2017-10-29 reduced simp_depth_limit
20 months ago immler 2017-10-28 generalized
20 months ago wenzelm 2017-10-28 reduced heap hierarchy, for potentially improved performance;
20 months ago wenzelm 2017-10-28 deactivated old tests;
20 months ago wenzelm 2017-10-28 avoid slow proofs due to simp rules from 960509bfd47e;
20 months ago wenzelm 2017-10-27 some concrete commands; clarified messages;
20 months ago wenzelm 2017-10-27 tuned signature;
20 months ago wenzelm 2017-10-27 more formal messages;
20 months ago wenzelm 2017-10-27 tuned signature;
20 months ago wenzelm 2017-10-27 separate JSON parser, which is slightly more general than (deprecated) scala.util.parsing.json.JSON;
20 months ago wenzelm 2017-10-27 more permissive;
20 months ago wenzelm 2017-10-27 tuned;
20 months ago wenzelm 2017-10-26 separate JSON lexer;
20 months ago wenzelm 2017-10-26 clarified command language;
20 months ago wenzelm 2017-10-26 use Poly/ML 5.7.1 test version as default;
20 months ago wenzelm 2017-10-25 more explicit check;
20 months ago wenzelm 2017-10-25 more robust treatment of UTF8 in raw byte sources;
20 months ago wenzelm 2017-10-25 clarified check, assuming that load commands are plain ASCII;
20 months ago wenzelm 2017-10-25 more documentation;
20 months ago wenzelm 2017-10-25 disallow blanks, relevant for session_name / theory_name e.g. in build log files;
20 months ago wenzelm 2017-10-25 uniform system name;
20 months ago wenzelm 2017-10-24 store session sources stamp;
20 months ago immler 2017-10-24 generalized lemmas cancelling real_of_int/real in (in)equalities with power; completed set of related simp rules; lemmas about floorlog/bitlen
20 months ago wenzelm 2017-10-24 misc tuning and modernization;
20 months ago wenzelm 2017-10-24 tuned output;
20 months ago wenzelm 2017-10-23 discontinued Linux 32bit platform support;
20 months ago wenzelm 2017-10-23 obsolete;
20 months ago wenzelm 2017-10-23 merged
20 months ago wenzelm 2017-10-23 updated to jdk-8u152, which is for x86_64 only;
20 months ago nipkow 2017-10-23 added lemma
20 months ago wenzelm 2017-10-23 minor performance tuning: avoid mutable variable for plain value, e.g. relevant for GC;
20 months ago wenzelm 2017-10-22 tuned output;
20 months ago wenzelm 2017-10-22 updated test version;
20 months ago wenzelm 2017-10-22 merged
20 months ago wenzelm 2017-10-22 auto update;
20 months ago wenzelm 2017-10-22 more recent polyml-test version;
20 months ago wenzelm 2017-10-22 parallel remote_builds2 for the sake of "AFP slow" (with theoretical data race on build_log_dirs);
20 months ago wenzelm 2017-10-22 tuned;
20 months ago wenzelm 2017-10-22 clarified signature;
20 months ago wenzelm 2017-10-22 tuned: build hg_graph only once; tuned signature;
20 months ago nipkow 2017-10-22 tuned
20 months ago nipkow 2017-10-22 derived axiom iffI as a lemma (thanks to Alexander Maletzky)
20 months ago bulwahn 2017-10-21 remove trailing whitespaces in List
20 months ago bulwahn 2017-10-21 drop a superfluous assumption that was found by the find_unused_assms command
20 months ago bulwahn 2017-10-21 drop a superfluous assumption that was found by the find_unused_assms command and tune proof
20 months ago bulwahn 2017-10-21 drop a superfluous assumption that was found by the find_unused_assms command and tune proof
20 months ago haftmann 2017-10-20 algebraic foundation for congruences
20 months ago wenzelm 2017-10-20 more ambitious test;
20 months ago haftmann 2017-10-20 added lemmas and tuned proofs
20 months ago paulson 2017-10-19 merged
20 months ago paulson 2017-10-19 Switching to inverse image and constant_on, plus some new material
20 months ago wenzelm 2017-10-19 proper integer option for Admin/build_history;
20 months ago wenzelm 2017-10-18 clarified output;
20 months ago wenzelm 2017-10-18 tuned output;
20 months ago wenzelm 2017-10-18 more thorough treatment of afp_version and afp_pull_date;