Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)
Summary
- Fixed references to linorder_antisym_conv1 and linorder_antisym_conv2
- merge from afp-2019
- sitegen for (fixed) Linear_Programming
- merged
- Corrected entry where typesetting works (simply through the use of old-fashioned comments)
- New entry Linear_Programming
- updated to isabelle be8e617b6eb3
- session directories
- merge from afp-2019
- New entry Generic_Join
- adjust isabelle logo dimensions and URL
- Isabelle/AFP
- New entry Fourier
- metadata and sitegen for Hybrid_Systems_VCs
- new entry: Hybrid_Systems_VCs
- New entry Jacobson_Basic_Algebra
- comment out SF upload for now; maybe make it optional later
- sitegen
- new entry: Formalisation of an Adaptive State Counting Algorithm
- explicit lemma in LLL_Factorization
- website for Laplace_Transform
- new entry Laplace_Transform
- merged
- should not be ignored
- C2KA_DistributedSystems web page
- new entry C2KA_DistributedSystems
- forgot to add
- new entry: IMO2019
- new entry Stellar_Quorums
- adjusted document-root of TESL_Language
- sitegen for TESL_Language
- New entry: Szpilrajn
- new entry: TESL 1.0
- New entry FOL_Seq_Calc1
Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- merged
- merged
- simplified proofs
- some information about Phabricator server setup;
- More type class generalisations. Note that linorder_antisym_conv1 and linorder_antisym_conv2 no longer exist.
The file was modified | src/HOL/Data_Structures/Balance.thy |
The file was added | Admin/Phabricator/README |
The file was added | Admin/Phabricator/ssh/ssh-hook |
The file was added | Admin/Phabricator/ssh/sshd-phabricator.service |
The file was added | Admin/Phabricator/ssh/sshd_config.phabricator |
The file was added | Admin/Phabricator/ssh/sudoers.d/phabricator |
The file was added | Admin/Phabricator/update |
The file was modified | src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thy |
The file was modified | src/HOL/Orderings.thy |
The file was modified | src/HOL/Set_Interval.thy |
The file was modified | src/HOL/Tools/SMT/smt_replay.ML |
The file was modified | src/HOL/Topological_Spaces.thy |
The file was modified | src/HOL/Transitive_Closure.thy |
The file was modified | src/HOL/Word/Word.thy |