Commit [2a4644] default Maximize Restore History

new entry Partial_Function_MR

nipkow nipkow 2014-02-19

added web/entries/Partial_Function_MR.shtml
added thys/Partial_Function_MR/document/root.bib
added thys/Partial_Function_MR/document/root.tex
added thys/Partial_Function_MR/Partial_Function_MR.thy
added thys/Partial_Function_MR/config
added thys/Partial_Function_MR/ROOT
added thys/Partial_Function_MR/Partial_Function_MR_Examples.thy
added thys/Partial_Function_MR/partial_function_mr.ML
changed web/index.shtml
changed web/topics.shtml
changed thys/ROOTS
changed metadata/metadata
web/entries/Partial_Function_MR.shtml Diff Switch to side-by-side view
Loading...
thys/Partial_Function_MR/document/root.bib Diff Switch to side-by-side view
Loading...
thys/Partial_Function_MR/document/root.tex Diff Switch to side-by-side view
Loading...
thys/Partial_Function_MR/Partial_Function_MR.thy Diff Switch to side-by-side view
Loading...
thys/Partial_Function_MR/config Diff Switch to side-by-side view
Loading...
thys/Partial_Function_MR/ROOT Diff Switch to side-by-side view
Loading...
thys/Partial_Function_MR/Partial_Function_MR_Examples.thy Diff Switch to side-by-side view
Loading...
thys/Partial_Function_MR/partial_function_mr.ML Diff Switch to side-by-side view
Loading...
web/index.shtml Diff Switch to side-by-side view
Loading...
web/topics.shtml Diff Switch to side-by-side view
Loading...
thys/ROOTS Diff Switch to side-by-side view
Loading...
metadata/metadata Diff Switch to side-by-side view
Loading...