| Sat, 17 Dec 2011 12:10:37 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 17 Aug 2011 18:05:31 +0200 |
wenzelm |
modernized signature of Term.absfree/absdummy;
|
file |
diff |
annotate
|
| Sat, 16 Apr 2011 16:15:37 +0200 |
wenzelm |
modernized structure Proof_Context;
|
file |
diff |
annotate
|
| Wed, 30 Mar 2011 21:07:48 +0200 |
wenzelm |
inline lemmas instead of accidental physical addressing -- explicit is better than implicit;
|
file |
diff |
annotate
|
| Wed, 30 Mar 2011 20:21:40 +0200 |
wenzelm |
tuned white space and indentation;
|
file |
diff |
annotate
|
| Wed, 19 Jan 2011 20:01:18 +0100 |
bulwahn |
fixing list_to_set_comprehension simproc
|
file |
diff |
annotate
|
| Tue, 11 Jan 2011 17:38:03 +0100 |
krauss |
eliminated duplication
|
file |
diff |
annotate
|
| Mon, 10 Jan 2011 15:19:48 +0100 |
wenzelm |
standardized split_last/last_elem towards List.last;
|
file |
diff |
annotate
|
| Mon, 10 Jan 2011 08:18:49 +0100 |
bulwahn |
removing dead code; tuned
|
file |
diff |
annotate
|
| Mon, 10 Jan 2011 08:18:48 +0100 |
bulwahn |
made SML/NJ happy
|
file |
diff |
annotate
|
| Sat, 08 Jan 2011 00:02:11 +0100 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
| Fri, 07 Jan 2011 18:10:35 +0100 |
bulwahn |
adding simproc to rewrite list comprehensions to set comprehensions; adopting proofs
|
file |
diff |
annotate
|