Skip to content
GitLab
Explore
Sign in
Register
isa-afp
afp-testboard-old
Repository
Branches
Overview
Active
Stale
All
Stale branches
wild/c261a0c41e52a7756369f12937b84e48b76e00cf
c261a0c41e52
·
regenerate with isabelle/
·
Feb 17, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wild/4112beffdb476da4308f0de3140fd8c30363d2c0
4112beffdb47
·
adapt to Isabelle bd37a72a940a
·
Jun 21, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wild/9620cf7a48b995b4c44975079c23b130a9ba107a
9620cf7a48b9
·
adapted to more default simp rules in distribution
·
Jun 30, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wild/3969ef2856a0a5abc1d5fbef05c76e8d9d7c2b52
3969ef2856a0
·
adapted to more default simp rules in distribution
·
Jul 01, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wild/d15ac73612a3d9abe573d3627c91e20f3b31dcb2
d15ac73612a3
·
adapted to more default simp rules in distribution
·
Jul 02, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar