Frédéric Tuong
|
208bb30780
|
upgrade to Isabelle2017 and afp-2017
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13265 3260e6d1-4efc-4170-b0a7-36055960796d
|
2018-02-05 14:26:56 +00:00 |
Frédéric Tuong
|
a8b343bf39
|
upgrade to Isabelle2016-1 and afp-2016-1
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13259 3260e6d1-4efc-4170-b0a7-36055960796d
|
2018-01-29 17:14:47 +00:00 |
Frédéric Tuong
|
5f8bdb26a1
|
document
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13174 3260e6d1-4efc-4170-b0a7-36055960796d
|
2017-10-14 04:22:00 +00:00 |