Wed, 05 Dec 2001 03:16:43 +0100 | wenzelm | added 'print_rules' command; | changeset | files |
Wed, 05 Dec 2001 03:15:50 +0100 | wenzelm | added print_rules; | changeset | files |
Wed, 05 Dec 2001 03:15:32 +0100 | wenzelm | simplified NetRules; | changeset | files |
Wed, 05 Dec 2001 03:15:15 +0100 | wenzelm | export low-level addXXs; | changeset | files |
Wed, 05 Dec 2001 03:14:22 +0100 | wenzelm | added 'sym' and 'symmetric' atts; | changeset | files |
Wed, 05 Dec 2001 03:13:57 +0100 | wenzelm | removed bang_args; | changeset | files |
Wed, 05 Dec 2001 03:13:21 +0100 | wenzelm | 'symmetric' attribute moved to Pure/calculation.ML; | changeset | files |