| Wed, 27 Sep 2006 21:49:34 +0200 | wenzelm | proper const_syntax for uminus, abs; | changeset | files |
| Wed, 27 Sep 2006 21:44:38 +0200 | huffman | reorganized HNatInfinite proofs; simplified and renamed some lemmas | changeset | files |
| Wed, 27 Sep 2006 21:33:13 +0200 | wenzelm | removed obsolete of_instream_slurp -- now already included in tty; | changeset | files |
| Wed, 27 Sep 2006 21:32:15 +0200 | wenzelm | Source.tty now slurps by default; | changeset | files |
| Wed, 27 Sep 2006 21:13:13 +0200 | wenzelm | of_stream/tty: slurp input eagerly; | changeset | files |
| Wed, 27 Sep 2006 21:13:12 +0200 | wenzelm | tuned all_paths; | changeset | files |