Summary
- updated common hosts;
- merged
- Added tag Isabelle2018 for changeset 91162dd89571
- merged
- canonical session directories in correspondence to Known.files;
- Zorn's lemma for relations defined by predicates
The file was modified | Admin/Release/mirror-website (diff) |
The file was modified | .hgtags (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/HOL/Cardinals/Wellorder_Extension.thy (diff) |
The file was modified | src/HOL/Nonstandard_Analysis/Free_Ultrafilter.thy (diff) |
The file was modified | src/HOL/Order_Relation.thy (diff) |
The file was modified | src/HOL/Zorn.thy (diff) |