afp-mirror
/
Stateful_Protocol_Composition_and_Typing
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
4 Commits
1 Branch
2 Tags
463 KiB
Branch: master
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Commit Graph

4 Commits (master)
 

Author SHA1 Message Date
Achim D. Brucker ef59bf6a36 Import of AFP for Isabelle 2021.
9 months ago
Achim D. Brucker 0ad8d1fed7 Fixed URLs.
2 years ago
Achim D. Brucker 7df845aded Fixed typo.
2 years ago
Achim D. Brucker dbbb5ca340 Initial commit, based on AFP entry dated 2020-05-22.
2 years ago