Open Tasks
Open Tasks
Normal (6)
Normal (6)
- Nov 27 2021, 3:30 PM
Low (5)
Low (5)
Wishlist (4)
Wishlist (4)
Active Repositories
Active Repositories
Recent Activity
Recent Activity
Yesterday
Yesterday
makarius committed rISABELLEb4032c468d74: performanc tuning: avoid exception overhead, potentially relevant for Sorts..
performanc tuning: avoid exception overhead, potentially relevant for Sorts.
makarius committed rISABELLE8faf28a80a7f: efficient representation of sets: more compact than Table.set;.
efficient representation of sets: more compact than Table.set;
performance tuning: prefer functor Set() over Table();
Sun, Mar 26
Sun, Mar 26
clarified signature;
removed junk (amending 236e43c8bb5b);
makarius committed rISABELLE25fd62cba347: clarified signature: more general operation Bytes.read_slice;.
clarified signature: more general operation Bytes.read_slice;
tuned performance: much faster low-level operation;
clarified signature: more explicit types;
clarified signature: more explicit types;
clarified signature: more explicit types;
nipkow committed rAFP283b369461f2: uodated map update syntax.
uodated map update syntax
Fri, Mar 24
Fri, Mar 24
Adjusted to changes in distribution.
florian.haftmann committed rISABELLEa6a81f848135: More explicit type information in dictionary arguments..
More explicit type information in dictionary arguments.
tuned whitespace
florian.haftmann committed rISABELLE4c5297aa18c8: more uniform approach towards satisfied applications.
more uniform approach towards satisfied applications
florian.haftmann committed rISABELLE0262155d2743: more uniform approach towards satisfied applications.
more uniform approach towards satisfied applications
Tuned semicolons.
Wed, Mar 22
Wed, Mar 22
desharna committed rISABELLE51ed312cabeb: added lemmas Finite_Set.bex_least_element and Finite_Set.bex_greatest_element.
added lemmas Finite_Set.bex_least_element and Finite_Set.bex_greatest_element
desharna committed rISABELLEd5060a919b3f: reordered assumption and tuned proof of Multiset.bex_least_element and Multiset..
reordered assumption and tuned proof of Multiset.bex_least_element and Multiset.
desharna committed rISABELLE9c7cbad50e04: added lemmas Finite_Set.bex_min_element and Finite_Set.bex_max_element.
added lemmas Finite_Set.bex_min_element and Finite_Set.bex_max_element
desharna committed rISABELLE93531ba2c784: reversed import dependency between Relation and Finite_Set; and move theorems….
reversed import dependency between Relation and Finite_Set; and move theorems…
Mon, Mar 20
Mon, Mar 20
makarius committed rISABELLE068ff989c143: clarified theory_sizeof1_data: count bytes, individually for each data entry;.
clarified theory_sizeof1_data: count bytes, individually for each data entry;
clarified operations for ML object sizes;
Sun, Mar 19
Sun, Mar 19
paulson <lp15@cam.ac.uk> committed rISABELLE71d075d18b6e: simplified a lot of messy proofs.
simplified a lot of messy proofs
Sat, Mar 18
Sat, Mar 18