17 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Niels van der Weide	00d4943e2d	Merge branch 'master' of https://github.com/nmvdw/HITs-Examples	2017-09-29 15:26:58 +02:00
Niels van der Weide	38a64bae76	Simplification in proof of append_union	2017-09-28 14:45:54 +02:00
Niels van der Weide	72a44c71f9	Cleaning in length	2017-09-26 13:06:47 +02:00
Niels van der Weide	d7a95697fb	Some cleaning in list representation	2017-09-26 11:56:58 +02:00
Niels van der Weide	35f0452a6a	Merge branch 'master' of https://github.com/nmvdw/HITs-Examples	2017-09-25 13:04:28 +02:00
Niels van der Weide	7281bfc0bf	Added S1 has merely decidable equality	2017-09-25 13:03:51 +02:00
Niels van der Weide	d5e08c43bf	Added example of Pauli matrices	2017-09-22 20:30:25 +02:00
Niels van der Weide	a0dbf4bfad	Added decidable quantification	2017-09-22 19:42:25 +02:00
Niels van der Weide	2eace536c2	Added quantifiers and their decidability.	2017-09-22 17:24:53 +02:00
Niels van der Weide	6a21e83b6c	Added length of disjoint sum	2017-09-22 16:16:12 +02:00
Niels van der Weide	344117a9b3	Length of product	2017-09-21 23:33:20 +02:00
Niels van der Weide	7b5bc340ff	Some cleaning	2017-09-21 18:13:34 +02:00
Niels van der Weide	f4253520c8	Added proof of inclusion/exclusion.	2017-09-21 18:09:40 +02:00
Niels van der Weide	bbe8f665df	Weakened assumption of singleton_isIn_d	2017-09-21 14:24:27 +02:00
Niels van der Weide	7f9b2b7032	Length also uses merely decidable equality	2017-09-21 14:17:48 +02:00
Niels van der Weide	39e2ce1c05	Uses merely decidable equality, added length.	2017-09-21 14:12:51 +02:00
Niels van der Weide	8e143c5285	Cleaning in iso	2017-09-19 17:22:15 +02:00