| 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 |