Local mirror of the Archive of Formal Proof (AFP) entry "Shadow_DOM".
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
Achim D. Brucker d7127e6fc6 Renamed session to avoid name clash with offical AFP entry. 12 months ago
..
classes Initial import from AFP. 12 months ago
document Initial import from AFP. 12 months ago
monads Initial import from AFP. 12 months ago
tests Initial import from AFP. 12 months ago
ROOT Renamed session to avoid name clash with offical AFP entry. 12 months ago
Shadow_DOM.thy Initial import from AFP. 12 months ago
Shadow_DOM_Tests.thy Initial import from AFP. 12 months ago