Commit [e2d3b3] default  Maximize  Restore  History

In Collections and Tree-Automata: Index -> SetIndex

kleing kleing 2009-12-13

removed thys/Collections/Index.thy
changed thys/Collections/ROOT.ML
added thys/Collections/SetIndex.thy
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
thys/Collections/Index.thy
File was removed.
thys/Collections/ROOT.ML Diff Switch to side-by-side view
Loading...
thys/Collections/SetIndex.thy 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...

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks