Local mirror of The Core DOM (Core_DOM) entry of the Archive of Formal Proofs (AFP).

This repository has been archived on 2020-12-18. You can view files and clone it, but cannot push or open issues or pull requests.

Achim D. Brucker 8dd3d801d8 Initial commit.		2018-12-25 15:01:57 +00:00
LICENSE	Initial commit.	2018-12-25 15:01:57 +00:00