src/HOL/ex/Word_Type.thy
21 months ago haftmann 2017-10-08 one uniform type class for parity structures
21 months ago haftmann 2017-10-08 abolished (semi)ring_div in favour of euclidean_(semi)ring_cancel
23 months ago wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2016-12-17 haftmann 2016-12-17 reoriented congruence rules in non-explosive direction
2016-10-16 haftmann 2016-10-16 more standardized theorem names for facts involving the div and mod identity
2016-10-08 haftmann 2016-10-08 tuned name of bit truncating operations
2016-10-08 haftmann 2016-10-08 dedicated syntax for types with a length
2016-10-03 haftmann 2016-10-03 proof of concept for algebraically founded word types