| Sat, 08 Oct 2005 20:15:33 +0200 | wenzelm | initial pop11 code for ML use/use_string; | changeset | files |
| Sat, 08 Oct 2005 20:15:32 +0200 | wenzelm | Poplog/PML: ML_SUFFIX=.psv; | changeset | files |
| Sat, 08 Oct 2005 20:15:31 +0200 | wenzelm | support ML_SUFFIX; | changeset | files |
| Sat, 08 Oct 2005 18:51:03 +0200 | wenzelm | obsolete; | changeset | files |
| Sat, 08 Oct 2005 15:20:58 +0200 | nipkow | fix due to new neq_simproc | changeset | files |
| Fri, 07 Oct 2005 23:29:00 +0200 | wenzelm | removed obsolete comment; | changeset | files |
| Fri, 07 Oct 2005 22:59:26 +0200 | wenzelm | added idtypdummy_ast_tr; | changeset | files |
| Fri, 07 Oct 2005 22:59:25 +0200 | wenzelm | added syntax for _idtdummy, _idtypdummy; | changeset | files |
| Fri, 07 Oct 2005 22:59:24 +0200 | wenzelm | added absdummy; | changeset | files |
| Fri, 07 Oct 2005 22:59:23 +0200 | wenzelm | removed obsolete dummy_pat_tr; | changeset | files |
| Fri, 07 Oct 2005 22:59:22 +0200 | wenzelm | Term.absdummy; | changeset | files |
| Fri, 07 Oct 2005 22:59:21 +0200 | wenzelm | removed obsolete ex/Tuple.thy; | changeset | files |
| Fri, 07 Oct 2005 22:59:19 +0200 | wenzelm | replaced _K by dummy abstraction; | changeset | files |
| Fri, 07 Oct 2005 22:59:18 +0200 | wenzelm | print_translation: does not handle _idtdummy; | changeset | files |
| Fri, 07 Oct 2005 22:59:17 +0200 | wenzelm | tuned; | changeset | files |