| Mon, 21 Aug 2000 18:16:47 +0200 | wenzelm | fixed has_meta_prems: strip_assums_hyp; | changeset | files |
| Mon, 21 Aug 2000 17:54:43 +0200 | nipkow | *** empty log message *** | changeset | files |
| Mon, 21 Aug 2000 13:47:24 +0200 | wenzelm | updated; | changeset | files |
| Sun, 20 Aug 2000 17:45:20 +0200 | wenzelm | open cases; | changeset | files |
| Sat, 19 Aug 2000 12:49:19 +0200 | wenzelm | output \isachar; | changeset | files |
| Sat, 19 Aug 2000 12:48:26 +0200 | wenzelm | cond_add_path; | changeset | files |
| Sat, 19 Aug 2000 12:47:16 +0200 | wenzelm | fixed text; | changeset | files |
| Sat, 19 Aug 2000 12:45:11 +0200 | wenzelm | turned into new-style theory; | changeset | files |
| Sat, 19 Aug 2000 12:44:39 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 19 Aug 2000 12:44:20 +0200 | wenzelm | tuned \isastyle; | changeset | files |
| Sat, 19 Aug 2000 12:43:55 +0200 | wenzelm | added \isachar definitions; | changeset | files |
| Sat, 19 Aug 2000 12:42:52 +0200 | wenzelm | %\urlstyle{rm} | changeset | files |
| Sat, 19 Aug 2000 12:41:41 +0200 | wenzelm | renamed cond_with_path to cond_add_path (add to front); | changeset | files |
| Fri, 18 Aug 2000 18:46:02 +0200 | paulson | X-symbols for ordinal, cardinal, integer arithmetic | changeset | files |
| Fri, 18 Aug 2000 18:11:10 +0200 | wenzelm | fixed RuleCases.make (invert flag); | changeset | files |
| Fri, 18 Aug 2000 18:06:10 +0200 | wenzelm | removed obsolete add_recdef_x; | changeset | files |
| Fri, 18 Aug 2000 17:58:33 +0200 | wenzelm | proper handling of defs; | changeset | files |
| Fri, 18 Aug 2000 17:53:49 +0200 | wenzelm | Main now new-style theory; added Main.ML for compatibility; | changeset | files |
| Fri, 18 Aug 2000 12:34:48 +0200 | paulson | simproc bug fix: only TYPING assumptions are given to the simplifier | changeset | files |
| Fri, 18 Aug 2000 12:34:13 +0200 | paulson | better rules for cancellation of common factors across comparisons | changeset | files |
| Fri, 18 Aug 2000 12:31:20 +0200 | paulson | new example ZF/ex/NatSum | changeset | files |
| Fri, 18 Aug 2000 12:30:41 +0200 | paulson | now allows dest_coeff to fail | changeset | files |
| Fri, 18 Aug 2000 11:14:23 +0200 | nipkow | *** empty log message *** | changeset | files |
| Fri, 18 Aug 2000 10:34:08 +0200 | nipkow | *** empty log message *** | changeset | files |
| Thu, 17 Aug 2000 21:07:25 +0200 | wenzelm | removed obsolete keyword; | changeset | files |
| Thu, 17 Aug 2000 21:06:04 +0200 | wenzelm | fixed indexing; | changeset | files |
| Thu, 17 Aug 2000 18:58:49 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 17 Aug 2000 18:31:12 +0200 | nipkow | installed recdef congs data | changeset | files |
| Thu, 17 Aug 2000 18:30:48 +0200 | nipkow | added map_cong to recdef | changeset | files |
| Thu, 17 Aug 2000 16:23:50 +0200 | wenzelm | removed Lambda/Type.ML; | changeset | files |