Superposition_Calculus: Tiebreakers
Showing
- thys/First_Order_Clause/Tiebreakers.thy 19 additions, 0 deletionsthys/First_Order_Clause/Tiebreakers.thy
- thys/First_Order_Clause/Typed_Tiebreakers.thy 11 additions, 17 deletionsthys/First_Order_Clause/Typed_Tiebreakers.thy
- thys/Superposition_Calculus/Grounded_Superposition.thy 5 additions, 5 deletionsthys/Superposition_Calculus/Grounded_Superposition.thy
- thys/Superposition_Calculus/Superposition.thy 3 additions, 8 deletionsthys/Superposition_Calculus/Superposition.thy
Loading
Please register or sign in to comment