| Fri, 24 Jun 2011 09:42:44 +0100 | Christian Urban | except for the interated binder case, finished definition in Calssical.thy | changeset | files |
| Fri, 24 Jun 2011 11:18:18 +0900 | Cezary Kaliszyk | Make examples work with non-precompiled image | changeset | files |
| Fri, 24 Jun 2011 11:15:22 +0900 | Cezary Kaliszyk | Remove Lambda_add.thy | changeset | files |
| Fri, 24 Jun 2011 11:14:58 +0900 | Cezary Kaliszyk | The examples in Lambda_add can be defined by nominal_function directly | changeset | files |
| Fri, 24 Jun 2011 11:03:53 +0900 | Cezary Kaliszyk | Theory name changes for JEdit | changeset | files |
| Fri, 24 Jun 2011 10:54:31 +0900 | Cezary Kaliszyk | More usual names for substitution properties | changeset | files |
| Fri, 24 Jun 2011 10:30:06 +0900 | Cezary Kaliszyk | Second Fixed Point Theorem | changeset | files |
| Fri, 24 Jun 2011 10:12:47 +0900 | Cezary Kaliszyk | Speed-up the completeness proof. | changeset | files |
| Thu, 23 Jun 2011 22:21:43 +0100 | Christian Urban | the simplifier can simplify "sort (atom a)" if a is a concrete atom type declared with atom_decl | changeset | files |
| Thu, 23 Jun 2011 13:09:17 +0100 | Christian Urban | added file | changeset | files |
| Thu, 23 Jun 2011 12:28:25 +0100 | Christian Urban | expanded the example | changeset | files |
| Thu, 23 Jun 2011 11:30:39 +0100 | Christian Urban | fixed nasty bug with type variables in nominal_datatypes; this included to be careful with the output of the inductive and function package | changeset | files |
| Wed, 22 Jun 2011 14:14:54 +0100 | Christian Urban | tuned | changeset | files |
| Wed, 22 Jun 2011 13:40:25 +0100 | Christian Urban | deleted some dead code | changeset | files |
| Wed, 22 Jun 2011 12:18:22 +0100 | Christian Urban | some rudimentary infrastructure for storing data about nominal datatypes | changeset | files |
| Wed, 22 Jun 2011 17:57:15 +0900 | Cezary Kaliszyk | constants with the same names | changeset | files |
| Wed, 22 Jun 2011 04:49:56 +0900 | Cezary Kaliszyk | Quotients/TODO addtion | changeset | files |
| Tue, 21 Jun 2011 23:59:36 +0900 | Cezary Kaliszyk | Minor | changeset | files |
| Tue, 21 Jun 2011 10:39:25 +0900 | Cezary Kaliszyk | merge | changeset | files |
| Tue, 21 Jun 2011 10:37:43 +0900 | Cezary Kaliszyk | spelling | changeset | files |
| Mon, 20 Jun 2011 20:09:51 +0900 | Cezary Kaliszyk | merge | changeset | files |
| Mon, 20 Jun 2011 20:08:16 +0900 | Cezary Kaliszyk | Abs_set_fcb | changeset | files |
| Mon, 20 Jun 2011 20:09:30 +0900 | Cezary Kaliszyk | function for let-rec | changeset | files |
| Mon, 20 Jun 2011 10:16:12 +0900 | Cezary Kaliszyk | TODO/minor | changeset | files |
| Mon, 20 Jun 2011 09:59:18 +0900 | Cezary Kaliszyk | Move lst_fcb to Nominal2_Abs | changeset | files |
| Mon, 20 Jun 2011 09:38:57 +0900 | Cezary Kaliszyk | More minor TODOs | changeset | files |
| Mon, 20 Jun 2011 09:36:16 +0900 | Cezary Kaliszyk | Update TODO | changeset | files |
| Mon, 20 Jun 2011 09:29:42 +0900 | Cezary Kaliszyk | Let/minor | changeset | files |
| Mon, 20 Jun 2011 08:50:13 +0900 | Cezary Kaliszyk | Update Quotient/TODO and remove some attic code | changeset | files |
| Sun, 19 Jun 2011 13:14:37 +0900 | Cezary Kaliszyk | merge | changeset | files |