refactored
Showing
- thys/First_Order_Clause/Ground_Typing.thy 35 additions, 53 deletionsthys/First_Order_Clause/Ground_Typing.thy
- thys/First_Order_Clause/Term_Typing.thy 0 additions, 1 deletionthys/First_Order_Clause/Term_Typing.thy
- thys/Superposition_Calculus/Ground_Superposition_Welltypedness_Preservation.thy 12 additions, 22 deletions...culus/Ground_Superposition_Welltypedness_Preservation.thy
Loading
Please register or sign in to comment