4 Commits

Author	SHA1	Message	Date
Tony Garnock-Jones	3f76049f13	Drastically improve quoting.v - including a much better main theorem	2020-06-18 23:57:42 +02:00
Tony Garnock-Jones	cbbd6ffd0c	Tighten	2018-12-07 11:06:08 +00:00
Tony Garnock-Jones	8f20ae7a48	Simplify by using builtin list and a custom induction principle	2018-12-06 23:54:14 +00:00
Tony Garnock-Jones	fdd7eb6e94	Explore quoting.	2018-12-06 21:25:51 +00:00