Mon, 22 Dec 2003 16:22:14 +0100 |
paulson |
removal of the abel_cancel simproc for hypreal
|
file |
diff |
annotate
|
Mon, 22 Dec 2003 15:42:21 +0100 |
paulson |
downgrading abel_cancel
|
file |
diff |
annotate
|
Mon, 22 Dec 2003 14:12:54 +0100 |
paulson |
simplifying
|
file |
diff |
annotate
|
Mon, 22 Dec 2003 12:50:22 +0100 |
paulson |
moving HyperArith0.ML to other theories
|
file |
diff |
annotate
|
Fri, 19 Dec 2003 17:13:28 +0100 |
paulson |
tidying first part of HyperArith0.ML, using generic lemmas
|
file |
diff |
annotate
|
Fri, 19 Dec 2003 10:38:39 +0100 |
paulson |
type hypreal is an ordered field
|
file |
diff |
annotate
|
Wed, 17 Dec 2003 16:23:52 +0100 |
paulson |
converted Hyperreal/HyperDef to Isar script
|
file |
diff |
annotate
|
Tue, 16 Dec 2003 15:38:09 +0100 |
paulson |
converted Hyperreal/HyperOrd to new-style theory
|
file |
diff |
annotate
|
Sat, 30 Dec 2000 22:03:47 +0100 |
paulson |
separation of HOL-Hyperreal from HOL-Real
|
file |
diff |
annotate
|