Commit [371838] default Maximize Restore History

new entry Matrix

nipkow nipkow 2010-06-17

added thys/Matrix/IsaMakefile
added thys/Matrix/Matrix.thy
added thys/Matrix/MatrixCarrier.thy
added thys/Matrix/ROOT.ML
added thys/Matrix/Util.thy
added thys/Matrix/document/root.bib
added thys/Matrix/document/root.tex
thys/Matrix/IsaMakefile Diff Switch to side-by-side view
Loading...
thys/Matrix/Matrix.thy Diff Switch to side-by-side view
Loading...
thys/Matrix/MatrixCarrier.thy Diff Switch to side-by-side view
Loading...
thys/Matrix/ROOT.ML Diff Switch to side-by-side view
Loading...
thys/Matrix/Util.thy Diff Switch to side-by-side view
Loading...
thys/Matrix/document/root.bib Diff Switch to side-by-side view
Loading...
thys/Matrix/document/root.tex Diff Switch to side-by-side view
Loading...