| Thu, 07 Mar 2002 23:41:30 +0100 | wenzelm | renamed nat_number_of to nat_number (avoid clash with separate theorem); | changeset | files |
| Thu, 07 Mar 2002 23:21:19 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 07 Mar 2002 22:52:07 +0100 | wenzelm | *** empty log message *** | changeset | files |
| Thu, 07 Mar 2002 19:07:56 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 07 Mar 2002 19:04:00 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 07 Mar 2002 12:03:43 +0100 | berghofe | - made modes_of more robust | changeset | files |
| Wed, 06 Mar 2002 23:59:28 +0100 | wenzelm | val stdErr = std_out (std_err is unavaliable in polyml-3.x); | changeset | files |
| Wed, 06 Mar 2002 23:57:34 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 06 Mar 2002 18:16:48 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 06 Mar 2002 17:56:02 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 06 Mar 2002 17:55:10 +0100 | wenzelm | added session_graph; | changeset | files |
| Wed, 06 Mar 2002 17:54:43 +0100 | wenzelm | added two_is_prime; | changeset | files |
| Wed, 06 Mar 2002 17:48:39 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 06 Mar 2002 17:48:08 +0100 | wenzelm | moved to Hyperreal-ex; | changeset | files |
| Wed, 06 Mar 2002 17:47:51 +0100 | wenzelm | added HOL-Hyperreal-ex; | changeset | files |
| Wed, 06 Mar 2002 16:18:45 +0100 | wenzelm | tuned; | changeset | files |