hol-ocl-2.0/examples
Frédéric Tuong c8a24bf078 remove global open
git-svn-id: https://projects.brucker.ch/hol-testgen/svn/HOL-TestGen/trunk/hol-testgen@13626 3260e6d1-4efc-4170-b0a7-36055960796d
2019-02-25 17:19:20 +00:00
..
Employee_Model update headers 2018-05-09 16:20:39 +00:00
archive update the generated 2018-05-18 20:11:15 +00:00
empirical_evaluation update headers 2018-05-07 23:09:58 +00:00
AbstractList.thy update headers 2018-05-07 23:09:58 +00:00
Bank_Model.thy update headers 2018-05-07 23:09:58 +00:00
Bank_Test_Model.thy update headers 2018-05-07 23:09:58 +00:00
C_Model_core.thy switch to a mode where termination theorems are generated for functions 2019-01-11 12:30:32 +00:00
C_Model_ex_hol.thy implement 'language meta' 2018-05-22 17:00:13 +00:00
C_Model_ex_meta.thy implement 'language meta' 2018-05-22 17:00:13 +00:00
C_Model_init.thy update the generated 2018-05-18 20:11:15 +00:00
C_Model_ml.thy remove global open 2019-02-25 17:19:20 +00:00
Clocks_Lib_Model.thy update headers 2018-05-07 23:09:58 +00:00
Flight_Model.thy update headers 2018-05-07 23:09:58 +00:00
LinkedList.thy update headers 2018-05-07 23:09:58 +00:00
ListRefinement.thy update headers 2018-05-07 23:09:58 +00:00