Commit 9dcddfe

committed

moved the glueing definitions to end to end file

1 parent ca8d998 commit 9dcddfeCopy full SHA for 9dcddfe

2 files changed

+425

-381

lines changed

hol
- bdd_end_to_endScript.sml
- bdd_test_casesScript.sml

2 files changed

+425

-381

lines changed

Comments

(0)