forgotten in previous commit
Showing
- thys/First_Order_Clause/Clausal_Calculus_Extra.thy 6 additions, 6 deletionsthys/First_Order_Clause/Clausal_Calculus_Extra.thy
- thys/First_Order_Clause/Nonground_Context.thy 2 additions, 2 deletionsthys/First_Order_Clause/Nonground_Context.thy
- thys/First_Order_Clause/ROOT 1 addition, 0 deletionsthys/First_Order_Clause/ROOT
- thys/First_Order_Clause/Uprod_Extra.thy 7 additions, 6 deletionsthys/First_Order_Clause/Uprod_Extra.thy
Loading
Please register or sign in to comment