Full implem BU Oracle + eval_form in Formula (impossible in Asta) + transitions_lab...
-rw-r--r-- 76 .gitignore
-rw-r--r-- 850 COPYING
-rw-r--r-- 70 HACKING
-rw-r--r-- 8654 LICENSE
drwxr-xr-x - doc
drwxr-xr-x - include
-rw-r--r-- 5062 myocamlbuild.ml
-rw-r--r-- 444 myocamlbuild_config.ml
-rwxr-xr-x 672 run_tests
drwxr-xr-x - src
drwxr-xr-x - tests