| Wed, 31 Dec 2008 00:08:13 +0100 |
wenzelm |
moved old add_term_vars, add_term_frees etc. to structure OldTerm;
|
file |
diff |
annotate
|
| Thu, 18 Sep 2008 19:39:44 +0200 |
wenzelm |
simplified oracle interface;
|
file |
diff |
annotate
|
| Fri, 18 Jul 2008 18:25:53 +0200 |
haftmann |
moved op dvd to theory Ring_and_Field; generalized a couple of lemmas
|
file |
diff |
annotate
|
| Sat, 16 Feb 2008 02:01:13 +0100 |
huffman |
added lemma lists {normalize,succ,pred,minus,add,mult}_bin_simps
|
file |
diff |
annotate
|
| Sat, 26 Jan 2008 20:01:37 +0100 |
wenzelm |
avoid redundant escaping of Isabelle symbols;
|
file |
diff |
annotate
|
| Fri, 20 Jul 2007 14:28:05 +0200 |
haftmann |
dropped Nat.ML legacy bindings
|
file |
diff |
annotate
|
| Thu, 05 Jul 2007 20:01:26 +0200 |
wenzelm |
renamed ObjectLogic.atomize_tac to ObjectLogic.atomize_prems_tac;
|
file |
diff |
annotate
|
| Thu, 21 Jun 2007 22:52:22 +0200 |
huffman |
add thm antiquotations
|
file |
diff |
annotate
|
| Wed, 13 Jun 2007 03:28:21 +0200 |
huffman |
thm antiquotations
|
file |
diff |
annotate
|
| Mon, 11 Jun 2007 11:06:15 +0200 |
chaieb |
tuned tactic
|
file |
diff |
annotate
|
| Wed, 06 Jun 2007 16:12:08 +0200 |
chaieb |
New Reflected Presburger added to HOL/ex
|
file |
diff |
annotate
|