[Dijkstra] TxBody replace txRequiredGuards#1008

williamdemeo merged 6 commits intomasterIntersectMBO/formal-ledger-specifications:masterfrom

1000-dijkstra-txbody-replace-txrequiredguardsIntersectMBO/formal-ledger-specifications:1000-dijkstra-txbody-replace-txrequiredguardsCopy head branch name to clipboard