Commit 25a1dbc

committed

deleted sptree and old CakeML translations

1 parent c635191 commit 25a1dbcCopy full SHA for 25a1dbc

2 files changed

+0

-1526

lines changed

hol/policy_to_table/bdd_cake_trans
- bdd_trans_new_ProgScript.sml
- sptrees_bdd_trans_ProgScript.sml

2 files changed

+0

-1526

lines changed

Comments

(0)