Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. bundle applicative_syntax;
  2. bundle lifting_syntax (see Isabelle/fb5d8a50c641);
Changeset 6794:8ab92b6abf52 by wenzelm:
bundle applicative_syntax;
The file was modified thys/Applicative_Lifting/Abstract_AF.thy (diff)
The file was modified thys/Applicative_Lifting/Applicative.thy (diff)
The file was modified thys/Applicative_Lifting/Applicative_DNEList.thy (diff)
The file was modified thys/Applicative_Lifting/Applicative_Environment.thy (diff)
The file was modified thys/Applicative_Lifting/Applicative_Environment_Algebra.thy (diff)
The file was modified thys/Applicative_Lifting/Applicative_List.thy (diff)
The file was modified thys/Applicative_Lifting/Applicative_Monoid.thy (diff)
The file was modified thys/Applicative_Lifting/Applicative_Option.thy (diff)
The file was modified thys/Applicative_Lifting/Applicative_PMF.thy (diff)
The file was modified thys/Applicative_Lifting/Applicative_Stream.thy (diff)
The file was modified thys/Applicative_Lifting/Applicative_Sum.thy (diff)
The file was modified thys/Applicative_Lifting/Applicative_Test.thy (diff)
The file was modified thys/Applicative_Lifting/Stream_Algebra.thy (diff)
The file was modified thys/Applicative_Lifting/Tree_Relabelling.thy (diff)
The file was modified thys/Stern_Brocot/Cotree.thy (diff)
Changeset 6793:b8d77ca550dc by wenzelm:
bundle lifting_syntax (see Isabelle/fb5d8a50c641);
The file was modified thys/Applicative_Lifting/Applicative_Stream.thy (diff)
The file was modified thys/Coinductive/Coinductive_List.thy (diff)
The file was modified thys/Coinductive/Coinductive_Stream.thy (diff)
The file was modified thys/Coinductive/Examples/LMirror.thy (diff)
The file was modified thys/Coinductive/TLList.thy (diff)
The file was modified thys/Coinductive/TLList_CCPO.thy (diff)
The file was modified thys/Containers/AssocList.thy (diff)
The file was modified thys/Containers/DList_Set.thy (diff)
The file was modified thys/Containers/List_Fusion.thy (diff)
The file was modified thys/Containers/Map_To_Mapping.thy (diff)
The file was modified thys/Containers/Mapping_Impl.thy (diff)
The file was modified thys/Formal_SSA/SSA_CFG_code.thy (diff)
The file was modified thys/Formal_SSA/SSA_Transfer_Rules.thy (diff)
The file was modified thys/LTL_to_DRA/DTS.thy (diff)
The file was modified thys/MonoBoolTranAlgebra/Mono_Bool_Tran.thy (diff)
The file was modified thys/Native_Word/Native_Cast.thy (diff)
The file was modified thys/Native_Word/Word_Misc.thy (diff)
The file was modified thys/Perron_Frobenius/HMA_Connect.thy (diff)
The file was modified thys/Perron_Frobenius/Perron_Frobenius_Aux.thy (diff)
The file was modified thys/Perron_Frobenius/Types_To_Sets/Types_To_Sets.thy (diff)