Local mirror of the Archive of Formal Proof (AFP) entry "Shadow_SC_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 be1d6526de Renamed session to avoid name clash with offical AFP entry. 3 months ago
..
classes Initial import from AFP. 3 months ago
document Initial import from AFP. 3 months ago
monads Initial import from AFP. 3 months ago
tests Initial import from AFP. 3 months ago
ROOT Renamed session to avoid name clash with offical AFP entry. 3 months ago
Shadow_DOM.thy Initial import from AFP. 3 months ago
Shadow_DOM_Tests.thy Initial import from AFP. 3 months ago