Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Commit [e2d3b3] default Maximize Restore History

In Collections and Tree-Automata: Index -> SetIndex

kleing kleing 2009-12-13

changed thys/Collections/ROOT.ML
changed thys/Collections/StdInst.in.thy
changed thys/Collections/StdInst.thy
changed thys/Collections/Userguide.thy
changed thys/Collections/document/intro.tex
changed thys/Tree-Automata/Ta_impl.thy
copied thys/Collections/Index.thy -> thys/Collections/SetIndex.thy
thys/Collections/ROOT.ML Diff Switch to side-by-side view
Loading...
thys/Collections/StdInst.in.thy Diff Switch to side-by-side view
Loading...
thys/Collections/StdInst.thy Diff Switch to side-by-side view
Loading...
thys/Collections/Userguide.thy Diff Switch to side-by-side view
Loading...
thys/Collections/document/intro.tex Diff Switch to side-by-side view
Loading...
thys/Tree-Automata/Ta_impl.thy Diff Switch to side-by-side view
Loading...
thys/Collections/Index.thy to thys/Collections/SetIndex.thy
--- a/thys/Collections/Index.thy
+++ b/thys/Collections/SetIndex.thy
@@ -3,10 +3,10 @@
     Maintainer:  Peter Lammich <peter dot lammich at uni-muenster.de>
 *)
 header "Indices of Sets"
-theory Index
+theory SetIndex
 imports "common/Misc" MapSpec SetSpec
 begin
-text_raw {*\label{thy:Index}*}
+text_raw {*\label{thy:SetIndex}*}
 
 text {*
   This theory defines an indexing operation that builds an index from a set