| Fri, 02 Jul 1999 15:04:45 +0200 | wenzelm | added 'txt'; | changeset | files |
| Fri, 02 Jul 1999 15:04:31 +0200 | wenzelm | add_txt; | changeset | files |
| Fri, 02 Jul 1999 15:04:12 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 01 Jul 1999 22:20:58 +0200 | wenzelm | fixed order_trans; | changeset | files |
| Thu, 01 Jul 1999 21:30:18 +0200 | wenzelm | added KnasterTarski.thy; | changeset | files |
| Thu, 01 Jul 1999 21:29:53 +0200 | wenzelm | renamed with/APP to of/OF; | changeset | files |
| Thu, 01 Jul 1999 21:28:49 +0200 | wenzelm | Isar_examples/KnasterTarski.thy; | changeset | files |
| Thu, 01 Jul 1999 21:27:46 +0200 | wenzelm | added with_facts(_i); | changeset | files |
| Thu, 01 Jul 1999 21:27:04 +0200 | wenzelm | 'with' as == 'from' as facts; | changeset | files |
| Thu, 01 Jul 1999 21:25:58 +0200 | wenzelm | also, finally: opt_rules; | changeset | files |
| Thu, 01 Jul 1999 21:20:57 +0200 | wenzelm | have_thmss: more_ths; | changeset | files |
| Thu, 01 Jul 1999 21:20:27 +0200 | wenzelm | have_thmss: more_ths; | changeset | files |
| Thu, 01 Jul 1999 21:19:45 +0200 | wenzelm | renamed with/APP to of/OF; | changeset | files |
| Thu, 01 Jul 1999 17:42:27 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 01 Jul 1999 17:41:16 +0200 | wenzelm | fixed backtracking of global_qed; | changeset | files |