| Fri, 05 Mar 2021 16:45:16 +0100 | wenzelm | removed unused/pointless operation: Time.start is the load/init time of this Scala module; | changeset | files |
| Fri, 05 Mar 2021 16:44:04 +0100 | wenzelm | obsolete; | changeset | files |
| Fri, 05 Mar 2021 16:09:42 +0100 | wenzelm | clarified signature --- augment existing structure Time; | changeset | files |
| Fri, 05 Mar 2021 13:48:23 +0100 | wenzelm | rebuild SMT certificates from scratch; | changeset | files |
| Fri, 05 Mar 2021 15:01:59 +0100 | desharna | added lemmas (sublist|prefix|suffix)_list_all | changeset | files |
| Fri, 05 Mar 2021 14:23:14 +0100 | desharna | added lemmas takeWhile_is_prefix, suffix_dropWhile, and sublist_(take|drop)While | changeset | files |
| Fri, 05 Mar 2021 12:05:54 +0100 | desharna | added lemmas list_all_(take|drop)I and list_all_(take|drop)WhileI | changeset | files |