citadelle-devel/examples
Frédéric Tuong 5bfebab420 Merge branch 2017 into devel 2019-04-05 11:03:32 +02:00
..
Employee_Model synchronize with afp-devel 2018-07-19 17:11:28 -04:00
archive upgrade to Isabelle devel/28f9e9b80c49 and afp-devel 2018-07-18 10:44:10 -04:00
empirical_evaluation upgrade to Isabelle devel/28f9e9b80c49 and afp-devel 2018-07-18 10:44:10 -04:00
AbstractList.thy upgrade to Isabelle devel/28f9e9b80c49 and afp-devel 2018-07-18 10:44:10 -04:00
Bank_Model.thy upgrade to Isabelle devel/28f9e9b80c49 and afp-devel 2018-07-18 10:44:10 -04:00
Bank_Test_Model.thy upgrade to Isabelle devel/28f9e9b80c49 and afp-devel 2018-07-18 10:44:10 -04: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 upgrade to Isabelle devel/28f9e9b80c49 and afp-devel 2018-07-18 10:44:10 -04:00
Flight_Model.thy upgrade to Isabelle devel/28f9e9b80c49 and afp-devel 2018-07-18 10:44:10 -04:00
LinkedList.thy upgrade to Isabelle devel/28f9e9b80c49 and afp-devel 2018-07-18 10:44:10 -04:00
ListRefinement.thy update headers 2018-05-07 23:09:58 +00:00