| Wed, 25 Sep 2002 11:06:34 +0200 | nipkow | *** empty log message *** | changeset | files |
| Wed, 25 Sep 2002 07:57:36 +0200 | nipkow | Int.thy -> int.thy | changeset | files |
| Wed, 25 Sep 2002 07:55:56 +0200 | nipkow | became int.ML | changeset | files |
| Wed, 25 Sep 2002 07:54:33 +0200 | nipkow | conversion to Isar | changeset | files |
| Wed, 25 Sep 2002 07:52:07 +0200 | nipkow | converted to Isar | changeset | files |
| Wed, 25 Sep 2002 07:42:24 +0200 | nipkow | added nat_split | changeset | files |
| Sat, 21 Sep 2002 21:10:34 +0200 | paulson | converted to Isar script | changeset | files |
| Fri, 20 Sep 2002 11:49:38 +0200 | paulson | shortened a proof | changeset | files |
| Fri, 20 Sep 2002 11:49:06 +0200 | paulson | got rid of deepen_tac | changeset | files |
| Fri, 20 Sep 2002 11:48:35 +0200 | paulson | less use of x-symbols | changeset | files |
| Thu, 19 Sep 2002 16:09:16 +0200 | nipkow | *** empty log message *** | changeset | files |
| Thu, 19 Sep 2002 16:01:29 +0200 | nipkow | drule: added nRS | changeset | files |
| Thu, 19 Sep 2002 16:00:27 +0200 | nipkow | preserve names of rewrite rules when transforming them | changeset | files |
| Wed, 18 Sep 2002 18:19:43 +0200 | kleing | comments + usage | changeset | files |
| Wed, 11 Sep 2002 16:55:37 +0200 | paulson | Streamlined proofs of instances of Separation | changeset | files |
| Wed, 11 Sep 2002 16:53:59 +0200 | paulson | Bound variable preservation in Collect_cong | changeset | files |
| Tue, 10 Sep 2002 16:51:31 +0200 | paulson | renamed M_triv_axioms to M_trivial and M_axioms to M_basic | changeset | files |
| Tue, 10 Sep 2002 16:47:17 +0200 | paulson | tweaks | changeset | files |
| Mon, 09 Sep 2002 17:28:29 +0200 | nipkow | *** empty log message *** | changeset | files |
| Mon, 09 Sep 2002 17:07:12 +0200 | nipkow | bug in counter example finder | changeset | files |
| Sat, 07 Sep 2002 22:04:28 +0200 | paulson | conversion of ZF/Integ/{Int,Bin} to Isar scripts | changeset | files |
| Thu, 05 Sep 2002 14:03:03 +0200 | paulson | added checking so that (rename_tac "x y") is rejected, since | changeset | files |
| Tue, 03 Sep 2002 18:49:30 +0200 | paulson | tidied | changeset | files |
| Tue, 03 Sep 2002 18:49:10 +0200 | paulson | deleted redundant material (quasiformula, ...) and rationalized | changeset | files |
| Tue, 03 Sep 2002 18:43:15 +0200 | paulson | fixed the typesetting | changeset | files |
| Tue, 03 Sep 2002 13:41:29 +0200 | nipkow | *** empty log message *** | changeset | files |
| Mon, 02 Sep 2002 12:25:19 +0200 | paulson | Added missing rewrite rule and some arith examples | changeset | files |
| Mon, 02 Sep 2002 11:07:26 +0200 | nipkow | order_less_irrefl: [simp] -> [iff] | changeset | files |