3 Commits

Author	SHA1	Message	Date
Michael Herzberg	2d7d5daceb	Changed type hierarchy so that shadow root inherits from document now.	2019-04-01 17:48:33 +01:00
Michael Herzberg	d90812beed	Added a few new lemmas.	2019-04-01 17:27:54 +01:00
Achim D. Brucker	32eff7d4c3	Initial commit.	2018-12-25 23:47:54 +00:00