| Thu, 24 Mar 2016 14:55:43 +0100 | wenzelm | proper SHA1 digest as annex to heap file: Poly/ML reads precise segment length; | changeset | files |
| Thu, 24 Mar 2016 13:22:02 +0100 | wenzelm | more operations; | changeset | files |
| Thu, 24 Mar 2016 13:08:12 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 23 Mar 2016 09:37:38 +1100 | kleing | HOL-Word: add stronger bl_to_bin_lt2p_drop | changeset | files |
| Wed, 23 Mar 2016 16:37:19 +0100 | blanchet | proper sectioning | changeset | files |
| Wed, 23 Mar 2016 16:37:13 +0100 | blanchet | sorted out type issue with sort constraints | changeset | files |
| Tue, 22 Mar 2016 13:44:50 +0100 | blanchet | tuned whitespace | changeset | files |