Thu, 08 Aug 2002 23:46:09 +0200 |
wenzelm |
use Tactic.prove instead of prove_goalw_cterm in internal proofs!
|
file |
diff |
annotate
|
Fri, 28 Sep 2001 19:22:40 +0200 |
wenzelm |
avoid handle _;
|
file |
diff |
annotate
|
Fri, 31 Aug 2001 22:44:44 +0200 |
wenzelm |
fixed header;
|
file |
diff |
annotate
|
Fri, 10 Mar 2000 15:03:05 +0100 |
berghofe |
Type.typ_match now uses Vartab instead of association lists.
|
file |
diff |
annotate
|
Wed, 29 Sep 1999 14:56:01 +0200 |
wenzelm |
Sign.of_sort;
|
file |
diff |
annotate
|
Tue, 10 Mar 1998 18:33:13 +0100 |
oheimb |
renamed is_chain to chain, is_tord to tord, replaced chain_finite by chfin
|
file |
diff |
annotate
|
Thu, 30 Oct 1997 11:19:57 +0100 |
wenzelm |
fixed try_dest_adm;
|
file |
diff |
annotate
|
Sat, 25 Oct 1997 14:43:55 +0200 |
oheimb |
internalized some names
|
file |
diff |
annotate
|
Wed, 03 Sep 1997 16:24:46 +0200 |
mueller |
new extended adm tactic introduced;
|
file |
diff |
annotate
|