refactored typing
Showing
- thys/First_Order_Clause/Clause_Typing.thy 5 additions, 21 deletionsthys/First_Order_Clause/Clause_Typing.thy
- thys/First_Order_Clause/Ground_Typing.thy 5 additions, 38 deletionsthys/First_Order_Clause/Ground_Typing.thy
- thys/First_Order_Clause/Multiset_Typing_Lifting.thy 2 additions, 2 deletionsthys/First_Order_Clause/Multiset_Typing_Lifting.thy
- thys/First_Order_Clause/Natural_Magma_Typing_Lifting.thy 12 additions, 14 deletionsthys/First_Order_Clause/Natural_Magma_Typing_Lifting.thy
- thys/First_Order_Clause/Nonground_Term_Typing.thy 14 additions, 143 deletionsthys/First_Order_Clause/Nonground_Term_Typing.thy
- thys/First_Order_Clause/Nonground_Typing.thy 21 additions, 31 deletionsthys/First_Order_Clause/Nonground_Typing.thy
- thys/First_Order_Clause/Term_Typing.thy 14 additions, 21 deletionsthys/First_Order_Clause/Term_Typing.thy
- thys/First_Order_Clause/Typed_Functional_Substitution.thy 94 additions, 106 deletionsthys/First_Order_Clause/Typed_Functional_Substitution.thy
- thys/First_Order_Clause/Typed_Functional_Substitution_Example.thy 12 additions, 51 deletions...st_Order_Clause/Typed_Functional_Substitution_Example.thy
- thys/First_Order_Clause/Typed_Functional_Substitution_Lifting.thy 19 additions, 18 deletions...st_Order_Clause/Typed_Functional_Substitution_Lifting.thy
- thys/First_Order_Clause/Typed_Functional_Substitution_Lifting_Example.thy 15 additions, 16 deletions..._Clause/Typed_Functional_Substitution_Lifting_Example.thy
- thys/First_Order_Clause/Typing.thy 19 additions, 75 deletionsthys/First_Order_Clause/Typing.thy
- thys/Superposition_Calculus/Ground_Superposition_Welltypedness_Preservation.thy 8 additions, 3 deletions...culus/Ground_Superposition_Welltypedness_Preservation.thy
- thys/Superposition_Calculus/ROOT 1 addition, 0 deletionsthys/Superposition_Calculus/ROOT
- thys/Superposition_Calculus/Superposition.thy 4 additions, 4 deletionsthys/Superposition_Calculus/Superposition.thy
- thys/Superposition_Calculus/Superposition_Completeness.thy 1 addition, 2 deletionsthys/Superposition_Calculus/Superposition_Completeness.thy
- thys/Superposition_Calculus/Superposition_Welltypedness_Preservation.thy 1 addition, 1 deletion...ion_Calculus/Superposition_Welltypedness_Preservation.thy
Loading
Please register or sign in to comment