Commit [e8d9a5] default  Maximize  Restore  History

new entry Pop_Refinement

paulson paulson 2014-07-03

added thys/Pop_Refinement/Definition.thy
added thys/Pop_Refinement/First_Example.thy
added thys/Pop_Refinement/Future_Work.thy
added thys/Pop_Refinement/General_Remarks.thy
added thys/Pop_Refinement/ROOT
added thys/Pop_Refinement/Related_Work.thy
added thys/Pop_Refinement/Second_Example.thy
added thys/Pop_Refinement/config
added thys/Pop_Refinement/document/root.bib
added thys/Pop_Refinement/document/root.tex
changed thys/ROOTS
changed thys/Sturm_Sequences/Examples/Sturm_Ex.thy
thys/Pop_Refinement/Definition.thy Diff Switch to side-by-side view
Loading...
thys/Pop_Refinement/First_Example.thy Diff Switch to side-by-side view
Loading...
thys/Pop_Refinement/Future_Work.thy Diff Switch to side-by-side view
Loading...
thys/Pop_Refinement/General_Remarks.thy Diff Switch to side-by-side view
Loading...
thys/Pop_Refinement/ROOT Diff Switch to side-by-side view
Loading...
thys/Pop_Refinement/Related_Work.thy Diff Switch to side-by-side view
Loading...
thys/Pop_Refinement/Second_Example.thy Diff Switch to side-by-side view
Loading...
thys/Pop_Refinement/config Diff Switch to side-by-side view
Loading...
thys/Pop_Refinement/document/root.bib Diff Switch to side-by-side view
Loading...
thys/Pop_Refinement/document/root.tex Diff Switch to side-by-side view
Loading...
thys/ROOTS Diff Switch to side-by-side view
Loading...
thys/Sturm_Sequences/Examples/Sturm_Ex.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:





No, thanks