| Fri, 09 Jul 1999 18:58:05 +0200 | wenzelm | mono: AddXI/Es; | changeset | files |
| Fri, 09 Jul 1999 18:54:55 +0200 | wenzelm | type claset: added extra I/E rules; | changeset | files |
| Fri, 09 Jul 1999 18:48:54 +0200 | wenzelm | added Isar/local_defs.ML; | changeset | files |
| Fri, 09 Jul 1999 18:48:33 +0200 | wenzelm | added 'def'; | changeset | files |
| Fri, 09 Jul 1999 18:47:56 +0200 | wenzelm | added local_def(_i); | changeset | files |
| Fri, 09 Jul 1999 18:47:15 +0200 | wenzelm | global_qed: removed alt_name, alt_att; | changeset | files |
| Fri, 09 Jul 1999 18:46:51 +0200 | wenzelm | global_qed: removed alt_name, alt_att; | changeset | files |
| Fri, 09 Jul 1999 18:45:15 +0200 | wenzelm | added termp; | changeset | files |
| Fri, 09 Jul 1999 18:44:58 +0200 | wenzelm | COMP: optional position; | changeset | files |
| Fri, 09 Jul 1999 16:55:20 +0200 | wenzelm | write_keywords: default file name; | changeset | files |
| Fri, 09 Jul 1999 16:54:54 +0200 | wenzelm | added compose_single; | changeset | files |
| Fri, 09 Jul 1999 16:45:18 +0200 | wenzelm | added HOL.trans; | changeset | files |
| Fri, 09 Jul 1999 16:44:55 +0200 | wenzelm | removed qed_with; | changeset | files |
| Fri, 09 Jul 1999 10:49:14 +0200 | paulson | faster division algorithm; monotonicity of div in 2nd arg | changeset | files |
| Fri, 09 Jul 1999 10:47:42 +0200 | paulson | more monotonicity laws for times | changeset | files |