| Mon, 24 Jul 2000 23:47:57 +0200 | wenzelm | do not pass theory values, but sg_ref; | changeset | files |
| Mon, 24 Jul 2000 23:47:14 +0200 | wenzelm | Drule.merge_rules; | changeset | files |
| Sun, 23 Jul 2000 12:10:41 +0200 | wenzelm | get_names: topologically sorted; | changeset | files |
| Sun, 23 Jul 2000 12:10:11 +0200 | wenzelm | removed all_sessions.graph; | changeset | files |
| Sun, 23 Jul 2000 12:08:54 +0200 | wenzelm | removed all_sessions; | changeset | files |
| Sun, 23 Jul 2000 12:08:07 +0200 | wenzelm | disallow duplicates in session identifiers; | changeset | files |
| Sun, 23 Jul 2000 12:06:46 +0200 | wenzelm | assimilated; | changeset | files |
| Sun, 23 Jul 2000 12:05:23 +0200 | wenzelm | tuned HeapFun; | changeset | files |
| Sun, 23 Jul 2000 12:04:56 +0200 | wenzelm | tuned ThmHeap; | changeset | files |
| Sun, 23 Jul 2000 12:02:22 +0200 | wenzelm | removed selector syntax -- improper tuples are broken beyond repair :-( | changeset | files |
| Sun, 23 Jul 2000 12:01:39 +0200 | wenzelm | elim?; | changeset | files |
| Sun, 23 Jul 2000 12:01:05 +0200 | wenzelm | classical atts now intro! / intro / intro?; | changeset | files |
| Sun, 23 Jul 2000 11:59:21 +0200 | wenzelm | renamed "Directories" to "Sessions"; | changeset | files |
| Sun, 23 Jul 2000 11:58:30 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 22 Jul 2000 12:58:12 +0200 | wenzelm | improved error msg; | changeset | files |
| Fri, 21 Jul 2000 18:11:54 +0200 | nipkow | added ex_someI | changeset | files |
| Fri, 21 Jul 2000 18:01:36 +0200 | paulson | much tidying in connection with the 2nd UNITY paper | changeset | files |
| Fri, 21 Jul 2000 17:46:43 +0200 | oheimb | strengthened force_tac by using new first_best_tac | changeset | files |
| Fri, 21 Jul 2000 17:46:38 +0200 | oheimb | removed safe_asm_full_simp_tac | changeset | files |
| Fri, 21 Jul 2000 17:46:34 +0200 | oheimb | added map_upd_nonempty, also to simpset | changeset | files |
| Fri, 21 Jul 2000 17:46:29 +0200 | oheimb | removed weaker variant of subset_insert_iff | changeset | files |
| Fri, 21 Jul 2000 17:41:59 +0200 | oheimb | removed safe_asm_full_simp_tac, added generic_simp_tac | changeset | files |
| Fri, 21 Jul 2000 16:35:12 +0200 | prensani | Updating of some comments | changeset | files |
| Fri, 21 Jul 2000 12:30:08 +0200 | nipkow | *** empty log message *** | changeset | files |
| Fri, 21 Jul 2000 10:28:32 +0200 | paulson | Univ no longer requires Arith (really it never did) | changeset | files |
| Thu, 20 Jul 2000 12:04:47 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 19 Jul 2000 18:57:27 +0200 | oheimb | corrected header | changeset | files |
| Wed, 19 Jul 2000 12:33:36 +0200 | paulson | changed / to // for quotienting | changeset | files |