Wed, 23 Oct 2013 14:53:36 +0200 | blanchet | added 'primcorec' examples | file | diff | annotate |
Thu, 22 Aug 2013 08:42:27 +0200 | blanchet | added datatype example | file | diff | annotate |
Wed, 21 Aug 2013 09:25:40 +0200 | blanchet | avoid constructor name clash | file | diff | annotate |
Wed, 21 Aug 2013 09:25:40 +0200 | blanchet | renamed theory files to be closer to (new) command names | file | diff | annotate | base |