Diffusion afp-devel d04ff0458f7a

adapted to Isabelle/5db014c36f42;
d04ff0458f7a
Actions

Tags

None

Subscribers

None

Description

adapted to Isabelle/5db014c36f42;

Details

Provenance

Authored on

Parents

rAFPfcf84c1dcf9b: update timing;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPd04ff0458f7a: adapted to Isabelle/5db014c36f42;.Apr 20 2023, 1:49 PM

Changes (12)

Path

Size

thys/

Collections/

ICF/

tools/

Isabelle_C/

C11-FrontEnd/

src/

Isabelle_Meta_Model/

isabelle_home/

src/

Tools/

Code/

Isabelle_code_runtime.thy

toy_example/

embedding/

Generator_dynamic_sequential.thy

Network_Security_Policy_Verification/

TopoS_generateCode.thy

Nominal2/

Optics/

Channel_Type.ML

Registers/

Check_Autogenerated_Files.thy

Laws_Classical.thy

Laws_Quantum.thy

rAFPd04ff0458f7a

thys/Collections/ICF/tools/ICF_Tools.thy

Loading...

thys/Isabelle_C/C11-FrontEnd/src/C_Command.thy

Loading...

thys/Isabelle_Meta_Model/isabelle_home/src/Tools/Code/Isabelle_code_runtime.thy

Loading...

thys/Isabelle_Meta_Model/toy_example/embedding/Generator_dynamic_sequential.thy

Loading...

thys/Network_Security_Policy_Verification/TopoS_generateCode.thy

Loading...

thys/Nominal2/Nominal2.thy

Loading...

thys/Optics/Channel_Type.ML

Loading...

thys/Optics/Lens_Record.ML

Loading...

thys/Registers/Check_Autogenerated_Files.thy

Loading...

thys/Registers/Laws.thy

Loading...

thys/Registers/Laws_Classical.thy

Loading...

thys/Registers/Laws_Quantum.thy

Loading...