Merge
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/AutoCorres2/lib/More_Lib.thy 13 additions, 12 deletionsthys/AutoCorres2/lib/More_Lib.thy
- thys/BNF_Operations/GFP.thy 12 additions, 18 deletionsthys/BNF_Operations/GFP.thy
- thys/Binding_Syntax_Theory/Equiv_Relation2.thy 8 additions, 7 deletionsthys/Binding_Syntax_Theory/Equiv_Relation2.thy
- thys/CAVA_Automata/Digraph_Basic.thy 1 addition, 1 deletionthys/CAVA_Automata/Digraph_Basic.thy
- thys/Card_Equiv_Relations/Card_Partial_Equiv_Relations.thy 13 additions, 13 deletionsthys/Card_Equiv_Relations/Card_Partial_Equiv_Relations.thy
- thys/Category_Set/Cfunc.thy 4 additions, 2 deletionsthys/Category_Set/Cfunc.thy
- thys/Comparison_Sort_Lower_Bound/Linorder_Relations.thy 3 additions, 3 deletionsthys/Comparison_Sort_Lower_Bound/Linorder_Relations.thy
- thys/ConcurrentHOL/Closures.thy 19 additions, 3 deletionsthys/ConcurrentHOL/Closures.thy
- thys/Containers/Extend_Partial_Order.thy 27 additions, 13 deletionsthys/Containers/Extend_Partial_Order.thy
- thys/Containers/Set_Linorder.thy 1 addition, 1 deletionthys/Containers/Set_Linorder.thy
- thys/Directed_Sets/Well_Order_Connection.thy 16 additions, 3 deletionsthys/Directed_Sets/Well_Order_Connection.thy
- thys/Edwards_Elliptic_Curves_Group/Edwards_Elliptic_Curves_Group.thy 3 additions, 2 deletions...s_Elliptic_Curves_Group/Edwards_Elliptic_Curves_Group.thy
- thys/Encodability_Process_Calculi/FullAbstraction.thy 2 additions, 2 deletionsthys/Encodability_Process_Calculi/FullAbstraction.thy
- thys/Encodability_Process_Calculi/OperationalCorrespondence.thy 7 additions, 12 deletions...ncodability_Process_Calculi/OperationalCorrespondence.thy
- thys/Encodability_Process_Calculi/Relations.thy 1 addition, 1 deletionthys/Encodability_Process_Calculi/Relations.thy
- thys/Encodability_Process_Calculi/SourceTargetRelation.thy 21 additions, 9 deletionsthys/Encodability_Process_Calculi/SourceTargetRelation.thy
- thys/FO_Theory_Rewriting/Closure/Lift_Root_Step.thy 4 additions, 2 deletionsthys/FO_Theory_Rewriting/Closure/Lift_Root_Step.thy
- thys/FO_Theory_Rewriting/FOR_Semantics.thy 10 additions, 2 deletionsthys/FO_Theory_Rewriting/FOR_Semantics.thy
Loading
Please register or sign in to comment