| Wed, 06 May 1998 11:46:00 +0200 |
nipkow |
Changed [/] to [:=] and removed actual definition.
|
changeset |
files
|
| Tue, 05 May 1998 17:28:22 +0200 |
paulson |
New syntax for function update; moved to main HOL directory
|
changeset |
files
|
| Tue, 05 May 1998 13:27:18 +0200 |
wenzelm |
misc tuning;
|
changeset |
files
|
| Mon, 04 May 1998 21:07:57 +0200 |
wenzelm |
'more' selector;
|
changeset |
files
|
| Mon, 04 May 1998 21:05:38 +0200 |
wenzelm |
added nth_update: 'a -> int * 'a list -> 'a list;
|
changeset |
files
|
| Mon, 04 May 1998 21:05:14 +0200 |
wenzelm |
tuned msg;
|
changeset |
files
|
| Mon, 04 May 1998 13:48:47 +0200 |
wenzelm |
fixed constdefs syntax;
|
changeset |
files
|
| Mon, 04 May 1998 09:54:29 +0200 |
wenzelm |
concrete syntax for record terms;
|
changeset |
files
|
| Mon, 04 May 1998 09:17:18 +0200 |
nipkow |
New behaviour of asm_full_simp_tac.
|
changeset |
files
|
| Sat, 02 May 1998 16:46:17 +0200 |
wenzelm |
added CLASIMPSET(') tacticals;
|
changeset |
files
|
| Sat, 02 May 1998 13:27:42 +0200 |
wenzelm |
added trfun_names;
|
changeset |
files
|
| Sat, 02 May 1998 13:27:06 +0200 |
wenzelm |
added accesses: string -> string list;
|
changeset |
files
|
| Fri, 01 May 1998 22:40:20 +0200 |
oheimb |
minor corrections
|
changeset |
files
|
| Fri, 01 May 1998 22:30:42 +0200 |
oheimb |
Auto_tac: now uses enhanced version of asm_full_simp_tac,
|
changeset |
files
|
| Fri, 01 May 1998 22:28:25 +0200 |
oheimb |
added finite_dom_map_of and ran_update
|
changeset |
files
|