{"shas":[["b816dcb5e9f98a339bd0e5e320ffd934d54456a9","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Make BuchiState instance of Eq and Ord\n\nThis allows Buchi to be Eq and Ord","Henning Günther"],["3a27cc6e1f2e92dd97a56b5ad5d39aeceb625df1","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Allow sub automatas in LTL formulas","Henning Günther"],["fe7fa83d061932f49a98ac2b62ecf14e61cf4b84","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Give minimal extent for pretty printed states","Henning Günther"],["939b281e849aa8d9ca011af78722f47b1e0ef714","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","Type-check connections","Henning Günther"]],"repo":"hguenther/gtl","actor":"hguenther","ref":"refs/heads/automata","size":4,"head":"939b281e849aa8d9ca011af78722f47b1e0ef714","actor_gravatar":"8307c10ba82e5fcdbafd446fc259c84f","push_id":29859327}