Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- minor performance tuning: SQL.order_by is only for demo purposes;
- support efficient access to state updates, based on LEFT OUTER JOIN;
- tuned signature;
- tuned: prefer if_proper expression;
- tuned signature;
- tuned: prefer if_proper expression;
- New material by Wenda Li and Manuel Eberl
- merged
- export BNF properties about the cardinal bound (by Jan van Brügge)
The file was modified | src/Pure/Build/build_process.scala |
The file was modified | src/Pure/Build/build_process.scala |
The file was modified | src/Pure/Build/build_process.scala |
The file was modified | src/Pure/General/sql.scala |
The file was modified | src/Pure/General/sql.scala |
The file was modified | src/Pure/Admin/build_log.scala |
The file was modified | src/Pure/General/sql.scala |
The file was modified | src/Pure/General/sql.scala |
The file was added | src/HOL/Analysis/Sparse_In.thy |
The file was modified | src/HOL/Analysis/Analysis.thy |
The file was modified | src/HOL/Analysis/Complex_Analysis_Basics.thy |
The file was modified | src/HOL/Analysis/Complex_Transcendental.thy |
The file was modified | src/HOL/Analysis/Gamma_Function.thy |
The file was modified | src/HOL/Complex_Analysis/Meromorphic.thy |
The file was modified | src/HOL/Deriv.thy |
The file was modified | src/HOL/Nat.thy |
The file was modified | src/HOL/Tools/BNF/bnf_def.ML |