Skip to main content

Browse the archive

Revision a4ae71365568015f2f8958c96856fd8b8e9a180a authored by Štěpán Starosta on 14 May 2021, 15:37:50 UTC, committed by Štěpán Starosta on 14 May 2021, 15:37:50 UTC 
v1.4.0: renamed directories to match session names, several small additions (incl. some code equations), many optimizations; moved CoW/Borders into CoW/CoWBasic
1 parent b3c165a
Raw File
CoW_Collection.thy 
theory CoW_Collection
  imports CoW.CoWAll CoW_Graph_Lemma.Graph_Lemma CoW_Lyndon.Lyndon_Addition CoW_Equations.Overlaps
begin
end
back to top