refactored tiebreakers and removed asymp assumption
Showing
- thys/First_Order_Clause/Typed_Tiebreakers.thy 9 additions, 20 deletionsthys/First_Order_Clause/Typed_Tiebreakers.thy
- thys/Superposition_Calculus/Grounded_Superposition.thy 1 addition, 1 deletionthys/Superposition_Calculus/Grounded_Superposition.thy
- thys/Superposition_Calculus/Grounded_Untyped_Superposition.thy 1 addition, 1 deletion...Superposition_Calculus/Grounded_Untyped_Superposition.thy
- thys/Superposition_Calculus/Superposition.thy 7 additions, 2 deletionsthys/Superposition_Calculus/Superposition.thy
- thys/Superposition_Calculus/Superposition_Example.thy 11 additions, 8 deletionsthys/Superposition_Calculus/Superposition_Example.thy
- thys/Superposition_Calculus/Untyped_Superposition.thy 4 additions, 2 deletionsthys/Superposition_Calculus/Untyped_Superposition.thy
Loading
Please register or sign in to comment