equal
deleted
inserted
replaced
557 FinFunPred |
557 FinFunPred |
558 Set_Comprehension_Pointfree_Tests |
558 Set_Comprehension_Pointfree_Tests |
559 Parallel_Example |
559 Parallel_Example |
560 IArray_Examples |
560 IArray_Examples |
561 SVC_Oracle |
561 SVC_Oracle |
|
562 Simps_Case_Conv_Examples |
562 theories [skip_proofs = false] |
563 theories [skip_proofs = false] |
563 Meson_Test |
564 Meson_Test |
564 theories [condition = SVC_HOME] |
565 theories [condition = SVC_HOME] |
565 svc_test |
566 svc_test |
566 theories [condition = ZCHAFF_HOME] |
567 theories [condition = ZCHAFF_HOME] |