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

5 Commits (main)
 

Author SHA1 Message Date
Achim D. Brucker c3c1cafaa3 Import of AFP for Isabelle 2021.
9 months ago
Achim D. Brucker 9fd9332f74 Renamed session to avoid name clash with offical AFP entry.
12 months ago
Achim D. Brucker 73b3b13ab0 Initial commit.
12 months ago
Achim D. Brucker d456a3965d Initial commit.
12 months ago
Achim D. Brucker a7c68b6777 Initial import from AFP.
12 months ago