Session TD

Theories

• Basics
• TD0
• TD_plain
• TD_plain_s
• TD_plain_s_warrow
• TD_plain_widen
• Destabilization
• TD
• TD_widen
• TD_wn_phases
• TD_warrow
• TD_invariant_lemmas
• TD_wn_post
• TD_wn_post_wo_opt
• TD_wn_wo_opt
• Basics_side
• Destabilization_side
• TD_side
• Warrowing
• Update_rules
• TD_side_upd_rule
• Root_Balanced_Tree.Time_Monad
• Worklist
• Example
• Solvers
• TD_Interface
• TD_side_Interface