afp-mirror
/
Shadow_DOM
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Local mirror of the Archive of Formal Proof (AFP) entry "Shadow_DOM".
2 Commits 1 Branch 2 Tags 143 KiB
Isabelle 91.1%
HTML 5.1%
TeX 3.8%
Go to file
Achim D. Brucker d7127e6fc6 Renamed session to avoid name clash with offical AFP entry. 2020-12-19 15:10:28 +00:00
Shadow_DOM Renamed session to avoid name clash with offical AFP entry. 2020-12-19 15:10:28 +00:00