Page MenuHomeIsabelle/Phabricator

Open Tasks

Normal (6)

Wishlist (4)

Active Repositories

Recent Activity

Yesterday

makarius committed rISABELLE6ae930c89143: NEWS;.
NEWS;
Mon, Mar 27, 10:52 PM
makarius committed rISABELLEb4032c468d74: performanc tuning: avoid exception overhead, potentially relevant for Sorts..
performanc tuning: avoid exception overhead, potentially relevant for Sorts.
Mon, Mar 27, 10:52 PM
makarius committed rISABELLE96a594e5e054: added Set.size;.
added Set.size;
Mon, Mar 27, 10:52 PM
makarius committed rISABELLE8faf28a80a7f: efficient representation of sets: more compact than Table.set;.
efficient representation of sets: more compact than Table.set;
Mon, Mar 27, 10:52 PM
makarius committed rISABELLEb761c91c2447: performance tuning: prefer functor Set() over Table();.
performance tuning: prefer functor Set() over Table();
Mon, Mar 27, 10:52 PM
makarius committed rISABELLE7c1cc9ce9340: tuned whitespace;.
tuned whitespace;
Mon, Mar 27, 10:52 PM
makarius committed rISABELLEf750047e9386: tuned comments;.
tuned comments;
Mon, Mar 27, 10:52 PM

Sun, Mar 26

makarius committed rISABELLEcbfbf48b0281: tuned signature;.
tuned signature;
Sun, Mar 26, 10:56 PM
makarius committed rISABELLE6ad3a412ed97: clarified signature;.
clarified signature;
Sun, Mar 26, 10:56 PM
makarius committed rISABELLE6a2daddc238c: tuned signature;.
tuned signature;
Sun, Mar 26, 10:56 PM
makarius committed rISABELLE3f4163b83d4f: tuned output;.
tuned output;
Sun, Mar 26, 10:56 PM
makarius committed rISABELLE27dd3a3fcc54: removed junk (amending 236e43c8bb5b);.
removed junk (amending 236e43c8bb5b);
Sun, Mar 26, 7:28 PM
makarius committed rISABELLEbe0b9396604e: tuned;.
tuned;
Sun, Mar 26, 7:28 PM
makarius committed rISABELLE0d6e592d24c0: tuned output;.
tuned output;
Sun, Mar 26, 7:28 PM
makarius committed rISABELLE25fd62cba347: clarified signature: more general operation Bytes.read_slice;.
clarified signature: more general operation Bytes.read_slice;
Sun, Mar 26, 7:28 PM
makarius committed rISABELLEdd4bb80dbc3a: tuned performance: much faster low-level operation;.
tuned performance: much faster low-level operation;
Sun, Mar 26, 7:28 PM
makarius committed rISABELLEb8b01343e3df: clarified signature: more explicit types;.
clarified signature: more explicit types;
Sun, Mar 26, 7:28 PM
makarius committed rISABELLEf137bf5d3d94: clarified signature: more explicit types;.
clarified signature: more explicit types;
Sun, Mar 26, 7:28 PM
makarius committed rISABELLE53dc388b98ec: clarified signature: more explicit types;.
clarified signature: more explicit types;
Sun, Mar 26, 7:28 PM
nipkow committed rAFP283b369461f2: uodated map update syntax.
uodated map update syntax
Sun, Mar 26, 5:42 PM

Fri, Mar 24

florian.haftmann committed rAFP8b1d59d0990d: Adjusted to changes in distribution..
Adjusted to changes in distribution.
Fri, Mar 24, 8:26 PM
florian.haftmann committed rISABELLEa6a81f848135: More explicit type information in dictionary arguments..
More explicit type information in dictionary arguments.
Fri, Mar 24, 8:04 PM
florian.haftmann committed rISABELLE596452389ad0: tuned.
tuned
Fri, Mar 24, 8:04 PM
florian.haftmann committed rISABELLEe6ee7af8184c: tuned whitespace.
tuned whitespace
Fri, Mar 24, 8:04 PM
florian.haftmann committed rISABELLE4c5297aa18c8: more uniform approach towards satisfied applications.
more uniform approach towards satisfied applications
Fri, Mar 24, 8:04 PM
florian.haftmann committed rISABELLE0262155d2743: more uniform approach towards satisfied applications.
more uniform approach towards satisfied applications
Fri, Mar 24, 8:04 PM
florian.haftmann committed rISABELLEb5fbe9837aee: tuned.
tuned
Fri, Mar 24, 8:04 PM
florian.haftmann committed rISABELLE5af3954ed6cf: tuned.
tuned
Fri, Mar 24, 8:04 PM
florian.haftmann committed rISABELLE86b9a405b0cc: Tuned semicolons..
Tuned semicolons.
Fri, Mar 24, 8:04 PM

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
Wed, Mar 22, 10:58 AM
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.
Wed, Mar 22, 10:58 AM
desharna committed rISABELLEf35cbb4da88a: refactored proofs.
refactored proofs
Wed, Mar 22, 10:58 AM
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
Wed, Mar 22, 10:58 AM
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…
Wed, Mar 22, 10:58 AM

Mon, Mar 20

makarius committed rISABELLEea509b0bfc80: more operations;.
more operations;
Mon, Mar 20, 1:26 PM
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;
Mon, Mar 20, 1:26 PM
makarius committed rISABELLE3e746e684f4b: clarified operations for ML object sizes;.
clarified operations for ML object sizes;
Mon, Mar 20, 1:26 PM

Sun, Mar 19

paulson committed rISABELLE125414e23e12: merged.
merged
Sun, Mar 19, 11:51 PM
paulson <lp15@cam.ac.uk> committed rISABELLE71d075d18b6e: simplified a lot of messy proofs.
simplified a lot of messy proofs
Sun, Mar 19, 11:51 PM

Sat, Mar 18

desharna committed rISABELLE9b8770994780: merged.
merged
Sat, Mar 18, 11:49 PM