| Mon, 24 May 2004 18:35:34 +0200 |
nipkow |
added drop_take:thm
|
changeset |
files
|
| Fri, 21 May 2004 21:49:45 +0200 |
berghofe |
- deleted unneeded function eta_long (now in Pure/pattern.ML
|
changeset |
files
|
| Fri, 21 May 2004 21:48:35 +0200 |
berghofe |
Adapted to new syntax for case expressions.
|
changeset |
files
|
| Fri, 21 May 2004 21:48:03 +0200 |
berghofe |
Added more flexible parse / print translations for case expressions.
|
changeset |
files
|
| Fri, 21 May 2004 21:47:07 +0200 |
berghofe |
Modified functions pt_to_ast and ast_to_term to improve handling
|
changeset |
files
|
| Fri, 21 May 2004 21:46:25 +0200 |
berghofe |
- exported result datatype
|
changeset |
files
|
| Fri, 21 May 2004 21:42:05 +0200 |
wenzelm |
updated;
|
changeset |
files
|
| Fri, 21 May 2004 21:28:58 +0200 |
wenzelm |
Pure: clear separation of logical types and nonterminals;
|
changeset |
files
|
| Fri, 21 May 2004 21:28:14 +0200 |
wenzelm |
adapted tsig/sg interface;
|
changeset |
files
|
| Fri, 21 May 2004 21:28:01 +0200 |
wenzelm |
added dest, minimals, maximals, is_edge, add_edge/merge_trans_acyclic;
|
changeset |
files
|
| Fri, 21 May 2004 21:27:42 +0200 |
wenzelm |
added fold, product; removed transitive_closure;
|
changeset |
files
|
| Fri, 21 May 2004 21:27:10 +0200 |
wenzelm |
adapted names of some sort ops;
|
changeset |
files
|