SourceForge has been redesigned. Learn more.
Close

Commit [59c81d] Isabelle2007  Maximize  Restore  History

new submission

lp15 lp15 2008-04-11

added thys/Recursion-Theory-I/CPair.thy
added thys/Recursion-Theory-I/IsaMakefile
added thys/Recursion-Theory-I/PRecFinSet.thy
added thys/Recursion-Theory-I/PRecFun.thy
added thys/Recursion-Theory-I/PRecFun2.thy
added thys/Recursion-Theory-I/PRecList.thy
added thys/Recursion-Theory-I/PRecUnGr.thy
added thys/Recursion-Theory-I/ROOT.ML
added thys/Recursion-Theory-I/RecEnSet.thy
added thys/Recursion-Theory-I/Utils.ML
added thys/Recursion-Theory-I/config
added thys/Recursion-Theory-I/document/root.bib
added thys/Recursion-Theory-I/document/root.tex
thys/Recursion-Theory-I/CPair.thy Diff Switch to side-by-side view
Loading...
thys/Recursion-Theory-I/IsaMakefile Diff Switch to side-by-side view
Loading...
thys/Recursion-Theory-I/PRecFinSet.thy Diff Switch to side-by-side view
Loading...
thys/Recursion-Theory-I/PRecFun.thy Diff Switch to side-by-side view
Loading...
thys/Recursion-Theory-I/PRecFun2.thy Diff Switch to side-by-side view
Loading...
thys/Recursion-Theory-I/PRecList.thy Diff Switch to side-by-side view
Loading...
thys/Recursion-Theory-I/PRecUnGr.thy Diff Switch to side-by-side view
Loading...
thys/Recursion-Theory-I/ROOT.ML Diff Switch to side-by-side view
Loading...
thys/Recursion-Theory-I/RecEnSet.thy Diff Switch to side-by-side view
Loading...
thys/Recursion-Theory-I/Utils.ML Diff Switch to side-by-side view
Loading...
thys/Recursion-Theory-I/config Diff Switch to side-by-side view
Loading...
thys/Recursion-Theory-I/document/root.bib Diff Switch to side-by-side view
Loading...
thys/Recursion-Theory-I/document/root.tex Diff Switch to side-by-side view
Loading...