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
|
Sun, 01 Sep 2002 19:39:25 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
Sat, 31 Aug 2002 14:03:49 +0200 |
paulson |
converted Hyperreal/Zorn to Isar format and moved to Library
|
changeset |
files
|
Fri, 30 Aug 2002 16:42:45 +0200 |
paulson |
removal of blast.overloaded
|
changeset |
files
|
Thu, 29 Aug 2002 16:15:11 +0200 |
wenzelm |
updated;
|
changeset |
files
|
Thu, 29 Aug 2002 16:08:32 +0200 |
wenzelm |
*** empty log message ***
|
changeset |
files
|
Thu, 29 Aug 2002 16:08:30 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Thu, 29 Aug 2002 11:15:36 +0200 |
paulson |
fixed a name clash
|
changeset |
files
|
Wed, 28 Aug 2002 15:27:43 +0200 |
wenzelm |
improved tell_thm_deps;
|
changeset |
files
|
Wed, 28 Aug 2002 13:08:50 +0200 |
paulson |
various new lemmas for Constructible
|
changeset |
files
|