Fri, 22 May 2009 10:36:38 -0700 | huffman | export ID, oo; add more dtyp operations | changeset | files |
Fri, 22 May 2009 10:34:22 -0700 | huffman | add combinators for building copy functions | changeset | files |
Thu, 21 May 2009 18:49:14 -0700 | huffman | change representation of Domain_Library.arg | changeset | files |
Thu, 21 May 2009 18:23:19 -0700 | huffman | make type Domain_Library.arg abstract | changeset | files |
Wed, 20 May 2009 13:18:14 -0700 | huffman | indentation; export Domain_Axioms.calc_axioms | changeset | files |
Wed, 20 May 2009 13:01:52 -0700 | huffman | indentation; export Domain_Syntax.calc_syntax | changeset | files |
Thu, 21 May 2009 19:15:22 +0200 | haftmann | using precompiled Predicate.map | changeset | files |