# HG changeset patch
# User Cezary Kaliszyk <kaliszyk@in.tum.de>
# Date 1308532572 -32400
# Node ID 99583bd6a7b2e6d44d0c9bd651b30b46ca889a4b
# Parent  ab2aded5f7c91f3e30a435b15c6ce52ab5987628
TODO/minor

diff -r ab2aded5f7c9 -r 99583bd6a7b2 TODO
--- a/TODO	Mon Jun 20 09:59:18 2011 +0900
+++ b/TODO	Mon Jun 20 10:16:12 2011 +0900
@@ -37,6 +37,9 @@
 - nominal_induct cannot avoid a term (for example function applied
   to an argument).
 
+- .induct and .exhaust could be the default methods for induction/cases
+  on nominal datatypes
+
 Other:
 
 - nested recursion, like types "trm list" in a constructor