12 days ago agomake latex happy default tip
haftmann [Fri, 14 Jun 2019 12:29:50 +0200] rev 70536
make latex happy

12 days ago agomoved some theorems into HOL main corpus
haftmann [Fri, 14 Jun 2019 08:34:28 +0000] rev 70535
moved some theorems into HOL main corpus

12 days ago agomisc tuning and modernization
haftmann [Fri, 14 Jun 2019 08:34:28 +0000] rev 70534
misc tuning and modernization

12 days ago agomore theorems for proof of concept for word type
haftmann [Fri, 14 Jun 2019 08:34:28 +0000] rev 70533
more theorems for proof of concept for word type

12 days ago agoofficial fact collection sign_simps
haftmann [Fri, 14 Jun 2019 08:34:28 +0000] rev 70532
official fact collection sign_simps

12 days ago agotuned proofs
haftmann [Fri, 14 Jun 2019 08:34:28 +0000] rev 70531
tuned proofs

12 days ago agoavoid pseudo-collection to be used in generated proofs
haftmann [Fri, 14 Jun 2019 08:34:27 +0000] rev 70530
avoid pseudo-collection to be used in generated proofs

12 days ago agomoved comment to approproiate place
haftmann [Fri, 14 Jun 2019 08:34:27 +0000] rev 70529
moved comment to approproiate place

12 days ago agoremoved outcommented example which seems not to work as advertized
haftmann [Fri, 14 Jun 2019 08:34:27 +0000] rev 70528
removed outcommented example which seems not to work as advertized

12 days ago agoclear separation of types for bits (False / True) and Z2 (0 / 1)
haftmann [Fri, 14 Jun 2019 08:34:27 +0000] rev 70527
clear separation of types for bits (False / True) and Z2 (0 / 1)