#
c0596cf9 |
|
22-Apr-2018 |
Thomas Tuerk <thomas@tuerk-brechen.de> |
first attempt at porting tamarack2 example This commits adds the files just previously mentioned in the readme to examples/hardware. These are hol88 examples that should be ported to the current version of HOL 4. I started with porting the tamarack2 example. A very close port running on HOL 4 is ready, a more liberal one is work- in-progress.
|