wenzelm [Mon, 09 Feb 2009 12:49:13 +0100] rev 30041
more refs;
huffman [Thu, 26 Feb 2009 06:39:06 -0800] rev 30040
merged
huffman [Thu, 26 Feb 2009 06:33:48 -0800] rev 30039
add type annotation
huffman [Thu, 26 Feb 2009 06:21:31 -0800] rev 30038
disable floor_minus and ceiling_minus [simp]
paulson [Thu, 26 Feb 2009 11:21:29 +0000] rev 30037
merged
paulson [Thu, 26 Feb 2009 11:18:40 +0000] rev 30036
Updated the theory syntax. Corrected an error in a command.
huffman [Wed, 25 Feb 2009 11:30:46 -0800] rev 30035
merged
huffman [Wed, 25 Feb 2009 11:29:59 -0800] rev 30034
generalize floor/ceiling to work with real and rat; rename floor_mono2 to floor_mono
huffman [Wed, 25 Feb 2009 11:26:01 -0800] rev 30033
new theory of Archimedean fields
huffman [Wed, 25 Feb 2009 09:09:50 -0800] rev 30032
add lemmas about comparisons of Fract a b with 0 and 1