Wed, 12 Feb 2014 08:35:56 +0100 | blanchet | use right local theory -- shows up when 'no_discs_sels' is set | changeset | files |
Wed, 12 Feb 2014 08:35:56 +0100 | blanchet | compatibility names | changeset | files |
Wed, 12 Feb 2014 08:35:56 +0100 | blanchet | use new selector support to define 'the', 'hd', 'tl' | changeset | files |