Commit Graph

3 Commits

Author SHA1 Message Date
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