merge from afp-2019
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFPc2a5fad2fd66: new entry Hybrid_Logic
rAFP3c6cf3b9146b: More material for Zeta_Function: Hadjicostas's formula - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- d4df5c37f780 tuned timeout;Author
- 1531e2d56482 tuned timeout;Author
- df45a67089ff remove carriage returnAuthor
- 88a82d6fdd30 Corrected nameAuthor
- 795d500481e7 mergeAuthor
- 902736e5b3d5 update to isabelle 0131b7b44c32Author
- 55e2ed5589cd adapted to develAuthor
- 4a3fcae15c7b Isabelle_C session directoriesAuthor
- e760bb298ecd merge from afp-2019Author
- 139f5ffeed6f Word_Lib: latex document fixAuthor
- bdb912acf555 remove left-over commentAuthor
- 2e0d1f786e12 added a sorting theoryAuthor
- 09bbfde13795 merge
- 9282ad6144da new theory in Priority_Queue_BraunAuthor
- aecde7853101 tuningAuthor
- 429a712d7c4d adapted to develAuthor
- 3049a0ad195d mergedAuthor
- de5e63a46b97 adapted to Isabelle/5727bcc3c47c;Author
- 9b2518d009e9 adapted to devel (Monda Syntax)Author
- 78025c98b739 adapted to Isabelle/592e2afdd50c;Author
- 6128683958ca more realistic timeout;Author
- c47ca19eaae3 proper prefix syntaxAuthor
- 87c3943758c0 More about Bernoulli numbersAuthor