User Details
User Details
- User Since
- Jan 12 2020, 7:31 PM (176 w, 4 d)
Mar 21 2022
Mar 21 2022
Fixed wrong sign handling in fmul-add
Dec 17 2020
Dec 17 2020
tuned running time functions
Dec 16 2020
Dec 16 2020
peter_lammich committed rISABELLE1dc01c11aa86: simplified complexity proofs. Increased precision of T_del_min_bound. (though….
simplified complexity proofs. Increased precision of T_del_min_bound. (though…
added missing +1 to T_insert (for function call)
Dec 15 2020
Dec 15 2020
removed redundant T_xxx_bound_aux lemmas
Dec 4 2020
Dec 4 2020
removed session name
peter_lammich committed rISABELLEba65dc3e35af: summarized structural and ordering invariant for trees.
summarized structural and ordering invariant for trees
Nov 26 2020
Nov 26 2020