afp-mirror
/
Stateful_Protocol_Composition_and_Typing
1
0
Fork 0
Code Issues 0 Pull Requests 0 Releases 2 Wiki Activity
4 Commits
1 Branch
463 KiB
Branch: master
Branches Tags
${ item.name }
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. 1 month ago
  Achim D. Brucker 0ad8d1fed7 Fixed URLs. 10 months ago
  Achim D. Brucker 7df845aded Fixed typo. 10 months ago
  Achim D. Brucker dbbb5ca340 Initial commit, based on AFP entry dated 2020-05-22. 10 months ago