| Thu, 13 Jun 2013 17:26:39 -0400 | blanchet | store more theorems in data structure | file | diff | annotate |
| Thu, 06 Jun 2013 15:56:17 +0200 | blanchet | too much qualification is like too little | file | diff | annotate |
| Fri, 31 May 2013 14:08:48 +0200 | blanchet | tuning | file | diff | annotate |
| Fri, 31 May 2013 12:28:39 +0200 | blanchet | renamed util function | file | diff | annotate |
| Thu, 02 May 2013 15:08:59 +0200 | blanchet | one more lib function | file | diff | annotate |
| Tue, 30 Apr 2013 16:04:50 +0200 | blanchet | renamed records | file | diff | annotate |
| Tue, 30 Apr 2013 15:58:32 +0200 | blanchet | added constructors to data structure | file | diff | annotate |
| Mon, 29 Apr 2013 17:37:00 +0200 | blanchet | create data structure for storing (co)datatype information | file | diff | annotate |
| Mon, 29 Apr 2013 16:50:01 +0200 | blanchet | use record instead of big tuple | file | diff | annotate |
| Mon, 29 Apr 2013 11:04:56 +0200 | blanchet | code tuning | file | diff | annotate |
| Sat, 27 Apr 2013 20:50:20 +0200 | wenzelm | uniform Proof.context for hyp_subst_tac; | file | diff | annotate |
| Sat, 27 Apr 2013 11:37:50 +0200 | blanchet | tuned ML and thy file names | file | diff | annotate | base |