Frédéric Tuong
|
91d85d974c
|
update headers
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13387 3260e6d1-4efc-4170-b0a7-36055960796d
|
2018-05-09 16:20:39 +00:00 |
|
Frédéric Tuong
|
b0bdeedc9d
|
augment the new year
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13196 3260e6d1-4efc-4170-b0a7-36055960796d
|
2018-01-12 00:28:18 +00:00 |
|
Frédéric Tuong
|
d0ec336493
|
repeat the license
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13173 3260e6d1-4efc-4170-b0a7-36055960796d
|
2017-10-14 04:21:27 +00:00 |