HomeIsabelle/Phabricator
Diffusion afp-devel 4ca560fce8a5

redefine substitution of terms as special case of general evaluation of terms
4ca560fce8a5
Actions

Description

redefine substitution of terms as special case of general evaluation of terms

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFP6aa6baa7e540: Complex_Bounded_Operators: Various changes:
Branches
Unknown
Tags
Unknown

Changes (15)

PathSize
thys/
Automated_Stateful_Protocol_Verification/
First_Order_Terms/
Rewrite_Properties_Reduction/
Rewriting/
Stateful_Protocol_Composition_and_Typing/
Weighted_Path_Order/

rAFP4ca560fce8a5

View Options

thys/Automated_Stateful_Protocol_Verification/Stateful_Protocol_Model.thy

Loading...
View Options

thys/Automated_Stateful_Protocol_Verification/Stateful_Protocol_Verification.thy

Loading...
View Options

thys/First_Order_Terms/Subterm_and_Context.thy

Loading...
View Options

thys/First_Order_Terms/Term.thy

Loading...
View Options

thys/First_Order_Terms/Unification.thy

Loading...
View Options

thys/Rewrite_Properties_Reduction/Rewriting/Replace_Constant.thy

Loading...
View Options

thys/Stateful_Protocol_Composition_and_Typing/Intruder_Deduction.thy

Loading...
View Options

thys/Stateful_Protocol_Composition_and_Typing/Lazy_Intruder.thy

Loading...
View Options

thys/Stateful_Protocol_Composition_and_Typing/More_Unification.thy

Loading...
View Options

thys/Stateful_Protocol_Composition_and_Typing/Stateful_Compositionality.thy

Loading...
View Options

thys/Stateful_Protocol_Composition_and_Typing/Stateful_Strands.thy

Loading...
View Options

thys/Stateful_Protocol_Composition_and_Typing/Strands_and_Constraints.thy

Loading...
View Options

thys/Stateful_Protocol_Composition_and_Typing/Typed_Model.thy

Loading...
View Options

thys/Stateful_Protocol_Composition_and_Typing/Typing_Result.thy

Loading...
View Options

thys/Weighted_Path_Order/WPO.thy

Loading...