Augment documentation of extraction to C
[why3.git] / examples_in_progress / my_cosine / 
tree487837eca513de0c9d0c9bda18b15faa7b11c4bb
drwxr-xr-x   ..
-rw-r--r-- 26066 my_cosine_Combined_WP_parameter_my_cosine_1.v
-rw-r--r-- 24767 my_cosine_IEEEfloat_WP_parameter_my_cosine_1.v
-rw-r--r-- 999 my_cosine_M_WP_parameter_my_cosine_1.v
-rw-r--r-- 5322 why3session.xml