| Fri, 05 Feb 1999 21:11:41 +0100 | wenzelm | Session.use_dir: check parent; | changeset | files |
| Fri, 05 Feb 1999 21:10:19 +0100 | wenzelm | *** empty log message *** | changeset | files |
| Fri, 05 Feb 1999 21:06:24 +0100 | wenzelm | more robust handling of theory context; | changeset | files |
| Fri, 05 Feb 1999 21:04:58 +0100 | wenzelm | improved theory, context, update_context; | changeset | files |
| Fri, 05 Feb 1999 21:04:31 +0100 | wenzelm | improved 'theory'; | changeset | files |
| Fri, 05 Feb 1999 21:03:33 +0100 | wenzelm | improved msg; | changeset | files |
| Fri, 05 Feb 1999 21:03:06 +0100 | wenzelm | use_thy, update_thy: Context.save; | changeset | files |
| Fri, 05 Feb 1999 21:02:17 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 05 Feb 1999 21:01:53 +0100 | wenzelm | time_use made pervasive; | changeset | files |
| Fri, 05 Feb 1999 20:58:17 +0100 | wenzelm | use_dir: check parent, more robust exit; | changeset | files |
| Fri, 05 Feb 1999 20:57:37 +0100 | wenzelm | more robust RC; | changeset | files |
| Fri, 05 Feb 1999 20:57:18 +0100 | wenzelm | setmp: theory option; | changeset | files |
| Fri, 05 Feb 1999 20:56:50 +0100 | wenzelm | Session.finish (); | changeset | files |
| Fri, 05 Feb 1999 17:31:42 +0100 | paulson | tidied Schroeder-Bernstein proof | changeset | files |