Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
authorhaftmann
Sat, 07 Feb 2009 09:58:24 +0100
changeset 29830 edac6cd01310
parent 29829 9acb915a62fa (current diff)
parent 29825 384e47590e7f (diff)
child 29831 5dc920623bb1
merged
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/Decision_Procs/Decision_Procs.thy	Sat Feb 07 09:58:24 2009 +0100
@@ -0,0 +1,5 @@
+theory Decision_Procs
+imports Cooper Ferrack MIR Approximation Dense_Linear_Order
+begin
+
+end
\ No newline at end of file
isabelle