:: deftheorem defines AtomicFamily MODELC_2:def 58 :
AtomicFamily = bool atomic_LTL;