merged
No related branches found
No related tags found
Showing
- thys/Abstract_Substitution/Functional_Substitution.thy 6 additions, 1 deletionthys/Abstract_Substitution/Functional_Substitution.thy
- thys/Abstract_Substitution/Functional_Substitution_Lifting.thy 0 additions, 5 deletions...Abstract_Substitution/Functional_Substitution_Lifting.thy
- thys/First_Order_Clause/Clause_Typing.thy 11 additions, 16 deletionsthys/First_Order_Clause/Clause_Typing.thy
- thys/First_Order_Clause/Functional_Substitution_Typing.thy 0 additions, 85 deletionsthys/First_Order_Clause/Functional_Substitution_Typing.thy
- thys/First_Order_Clause/Functional_Substitution_Typing_Lifting.thy 0 additions, 47 deletions...t_Order_Clause/Functional_Substitution_Typing_Lifting.thy
- thys/First_Order_Clause/Ground_Typing.thy 3 additions, 3 deletionsthys/First_Order_Clause/Ground_Typing.thy
- thys/First_Order_Clause/Grounded_Selection_Function.thy 1 addition, 1 deletionthys/First_Order_Clause/Grounded_Selection_Function.thy
- thys/First_Order_Clause/Multiset_Typing_Lifting.thy 5 additions, 2 deletionsthys/First_Order_Clause/Multiset_Typing_Lifting.thy
- thys/First_Order_Clause/Natural_Magma_Typing_Lifting.thy 20 additions, 33 deletionsthys/First_Order_Clause/Natural_Magma_Typing_Lifting.thy
- thys/First_Order_Clause/Nonground_Term.thy 1 addition, 1 deletionthys/First_Order_Clause/Nonground_Term.thy
- thys/First_Order_Clause/Nonground_Term_Typing.thy 20 additions, 11 deletionsthys/First_Order_Clause/Nonground_Term_Typing.thy
- thys/First_Order_Clause/Nonground_Typing.thy 26 additions, 71 deletionsthys/First_Order_Clause/Nonground_Typing.thy
- thys/First_Order_Clause/Restricted_Order.thy 1 addition, 1 deletionthys/First_Order_Clause/Restricted_Order.thy
- thys/First_Order_Clause/Term_Typing.thy 1 addition, 1 deletionthys/First_Order_Clause/Term_Typing.thy
- thys/First_Order_Clause/Typed_Functional_Substitution.thy 120 additions, 147 deletionsthys/First_Order_Clause/Typed_Functional_Substitution.thy
- thys/First_Order_Clause/Typed_Functional_Substitution_Example.thy 15 additions, 18 deletions...st_Order_Clause/Typed_Functional_Substitution_Example.thy
- thys/First_Order_Clause/Typed_Functional_Substitution_Lifting.thy 30 additions, 167 deletions...st_Order_Clause/Typed_Functional_Substitution_Lifting.thy
- thys/First_Order_Clause/Typed_Functional_Substitution_Lifting_Example.thy 14 additions, 31 deletions..._Clause/Typed_Functional_Substitution_Lifting_Example.thy
- thys/First_Order_Clause/Typing.thy 60 additions, 63 deletionsthys/First_Order_Clause/Typing.thy
- thys/First_Order_Clause/Welltyped_IMGU.thy 12 additions, 12 deletionsthys/First_Order_Clause/Welltyped_IMGU.thy
Loading
Please register or sign in to comment