22 months ago haftmann 2018-05-24 treat gcd_eq_1_imp_coprime analogously to mod_0_imp_dvd
22 months ago wenzelm 2018-05-24 merged
22 months ago wenzelm 2018-05-24 setup server directory for Cygwin quasi-mirror;
22 months ago wenzelm 2018-05-24 more scalable JVM memory management;
22 months ago wenzelm 2018-05-24 tuned output;
22 months ago wenzelm 2018-05-24 more general cache, also for term substructures;
22 months ago wenzelm 2018-05-24 more exports; read_session: proper signature;
22 months ago immler 2018-05-24 generalized Cramer's rule
22 months ago nipkow 2018-05-24 tuned
22 months ago nipkow 2018-05-24 reorganization, everything based on Tree2 now
22 months ago haftmann 2018-05-24 avoid overaggressive classical rule
22 months ago nipkow 2018-05-24 By Andrei Popescu based on an initial version by Kasper F. Brandt
22 months ago paulson 2018-05-23 merged
22 months ago paulson 2018-05-23 small tidy-up of Complex_Transcendental
22 months ago paulson 2018-05-22 merged
22 months ago paulson 2018-05-21 small clean-up of Complex_Analysis_Basics
22 months ago haftmann 2018-05-23 more complete and more correct documentation on code generation
22 months ago haftmann 2018-05-23 grouped material on numeral division
22 months ago haftmann 2018-05-22 automatic classical rule to derive a dvd b from b mod a = 0
22 months ago haftmann 2018-05-22 consider dvdE for automated classical proving
22 months ago blanchet 2018-05-22 added lambda-free HO output for Ehoh (higher-order E prototype)
22 months ago nipkow 2018-05-22 First step to remove nonstandard "[x <- xs. P]" syntax: only input
22 months ago nipkow 2018-05-22 merged
22 months ago nipkow 2018-05-22 removed unicode symbol
22 months ago Manuel Eberl 2018-05-18 Moved Landau_Symbols from the AFP to HOL-Library
22 months ago wenzelm 2018-05-22 merged
22 months ago wenzelm 2018-05-20 more checks for global facts: disallow undeclared frees (as in Export_Theory.export_fact);
22 months ago nipkow 2018-05-21 no longer necessary
22 months ago paulson 2018-05-20 merged
22 months ago paulson 2018-05-20 correcting the statements of the MVTs
22 months ago paulson 2018-05-20 one last fix
22 months ago paulson 2018-05-20 tidy up of Derivative
22 months ago wenzelm 2018-05-20 avoid undeclared frees;
22 months ago wenzelm 2018-05-20 removed junk;
22 months ago wenzelm 2018-05-20 avoid dangling tfrees;
22 months ago wenzelm 2018-05-20 standardize implicit variables: non-zero indexes do occur occasionally, e.g. via RS;
22 months ago wenzelm 2018-05-20 tuned signature;
22 months ago wenzelm 2018-05-20 avoid undeclared frees;
22 months ago wenzelm 2018-05-20 export facts;
22 months ago wenzelm 2018-05-20 clarified encoding;
22 months ago wenzelm 2018-05-20 more scalable;
22 months ago wenzelm 2018-05-20 tuned output;
22 months ago wenzelm 2018-05-20 more scalable;
22 months ago wenzelm 2018-05-20 tuned;
22 months ago wenzelm 2018-05-20 support HTTPS;
22 months ago wenzelm 2018-05-20 updated to scala-2.12.6;
22 months ago wenzelm 2018-05-20 prefer HTTPS;
22 months ago wenzelm 2018-05-19 override default of Isabelle_Process, notably for PIDE export of "document.tex";
22 months ago wenzelm 2018-05-19 tuned queries;
22 months ago wenzelm 2018-05-19 support for build_database_server (PostgreSQL); clarified signature;
22 months ago wenzelm 2018-05-19 clarified store.clean_output: cleanup user_output_dir even in system_mode;
22 months ago wenzelm 2018-05-19 clarified store directories; discontinued settings ISABELLE_PATH, ISABELLE_OUTPUT;
22 months ago wenzelm 2018-05-19 tuned;
22 months ago wenzelm 2018-05-19 clarified handling of output heap;
22 months ago wenzelm 2018-05-19 tuned;
22 months ago nipkow 2018-05-19 added lemmas
22 months ago wenzelm 2018-05-18 more abstract database access;
22 months ago wenzelm 2018-05-18 tuned;
22 months ago wenzelm 2018-05-18 clarified heap vs. database operations: discontinued correlation of directory;
22 months ago wenzelm 2018-05-18 tuned;