]> matita.cs.unibo.it Git - helm.git/tree
3b7d776c2b79bbc36ea314ce4ae1745615310756
-rwxr-xr-x 10629 bitrigesim.ma
-rwxr-xr-x 42335 bitrigesim_lemmas.ma
-rwxr-xr-x 2961 bool.ma
-rwxr-xr-x 8451 bool_lemmas.ma
-rwxr-xr-x 17202 byte8.ma
-rwxr-xr-x 11171 byte8_lemmas.ma
-rwxr-xr-x 88570 exadecim.ma
-rwxr-xr-x 19405 exadecim_lemmas.ma
-rwxr-xr-x 3143 oct.ma
-rwxr-xr-x 3240 oct_lemmas.ma
-rwxr-xr-x 2606 quatern.ma
-rwxr-xr-x 3215 quatern_lemmas.ma
-rwxr-xr-x 20013 word16.ma
-rwxr-xr-x 13861 word16_lemmas.ma
-rwxr-xr-x 9614 word32.ma
-rwxr-xr-x 14790 word32_lemmas.ma