This website works better with JavaScript.
Home
Help
Sign In
afp-mirror
/
Core_DOM
Watch
1
Star
0
Fork
1
Code
Issues
0
Pull Requests
0
Releases
3
Wiki
Activity
Local mirror of The Core DOM (Core_DOM) entry of the Archive of Formal Proofs (AFP).
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.
18
Commits
1
Branch
725 KiB
Isabelle
95.1%
TeX
2.9%
HTML
2%
Branch:
master
master
afp-Core_DOM-current-Isabelle2020
afp-Core_DOM-current-Isabelle2019
afp-Core_DOM-current-Isabelle2018
Branches
Tags
${ item.name }
Create branch
${ searchTerm }
from 'master'
${ noResults }
Core_DOM
/
Core_DOM
History
Achim D. Brucker
c8467c9acd
Imported changes from AFP devel as of 2020-12-02.
1 month ago
..
common
Imported changes from AFP devel as of 2020-12-02.
1 month ago
document
Imported changes from AFP devel as of 2020-12-02.
1 month ago
standard
Imported changes from AFP devel as of 2020-12-02.
1 month ago
CITATION
Initial commit.
2 years ago
ROOT
Imported changes from AFP devel as of 2020-12-02.
1 month ago