1 | generated(1423573523097,'Tue Feb 10 14:05:23 CET 2015'). | |
2 | project_name('Test'). | |
3 | machine_name('DisproverDefSetTest4'). | |
4 | disprover_po('nothm2/WD',event_b_context(none,'DisproverContext',[axioms(none,[]),constants(none,[]),sets(none,[deferred_set(none,'DS')])]),forall(none,[identifier(none,cc)],implication(none,conjunct(none,member(none,identifier(none,cc),pow_subset(none,cartesian_product(none,identifier(none,'DS'),bool_set(none)))),member(none,identifier(none,cc),relations(none,identifier(none,'DS'),bool_set(none)))),finite(none,identifier(none,cc)))),[],[],unknown). | |
5 | disprover_po('nothm2/THM',event_b_context(none,'DisproverContext',[axioms(none,[]),constants(none,[]),sets(none,[deferred_set(none,'DS')])]),forall(none,[identifier(none,cc)],implication(none,conjunct(none,member(none,identifier(none,cc),pow_subset(none,cartesian_product(none,identifier(none,'DS'),bool_set(none)))),member(none,identifier(none,cc),relations(none,identifier(none,'DS'),bool_set(none)))),less(none,card(none,identifier(none,cc)),integer(none,20)))),[],[],unknown). | |
6 |