wenzelm@35108: (* The Temporal Logic of Actions *)
wenzelm@3807: 
wenzelm@33615: use_thys ["TLA"];