| Wed, 21 Apr 2010 10:09:07 +0200 | Christian Urban | merged | file | diff | annotate |
| Wed, 21 Apr 2010 10:08:47 +0200 | Christian Urban | removed a sorry | file | diff | annotate |
| Wed, 21 Apr 2010 09:48:35 +0200 | Cezary Kaliszyk | Reorder FSet | file | diff | annotate |
| Wed, 21 Apr 2010 09:13:32 +0200 | Cezary Kaliszyk | lattice properties. | file | diff | annotate |
| Tue, 20 Apr 2010 15:59:57 +0200 | Cezary Kaliszyk | fsets are distributive lattices. | file | diff | annotate |
| Mon, 19 Apr 2010 16:19:17 +0200 | Cezary Kaliszyk | FSet is a semi-lattice | file | diff | annotate |
| Mon, 19 Apr 2010 15:54:38 +0200 | Cezary Kaliszyk | Putting FSet in bot typeclass. | file | diff | annotate |
| Mon, 19 Apr 2010 15:33:19 +0200 | Cezary Kaliszyk | reorder | file | diff | annotate |
| Mon, 19 Apr 2010 15:28:57 +0200 | Cezary Kaliszyk | sub_list definition and respects | file | diff | annotate |
| Mon, 19 Apr 2010 15:08:29 +0200 | Cezary Kaliszyk | Alternate list_eq and equivalence | file | diff | annotate |
| Mon, 19 Apr 2010 14:08:01 +0200 | Cezary Kaliszyk | Some new lemmas | file | diff | annotate |
| Mon, 19 Apr 2010 13:58:10 +0200 | Cezary Kaliszyk | More cleaning | file | diff | annotate |
| Mon, 19 Apr 2010 12:28:48 +0200 | Cezary Kaliszyk | remove more metis | file | diff | annotate |
| Mon, 19 Apr 2010 12:20:18 +0200 | Cezary Kaliszyk | more metis cleaning | file | diff | annotate |
| Mon, 19 Apr 2010 11:55:12 +0200 | Cezary Kaliszyk | Getting rid of 'metis'. | file | diff | annotate |
| Mon, 19 Apr 2010 11:32:33 +0200 | Cezary Kaliszyk | Remove 'defer'. | file | diff | annotate |
| Mon, 19 Apr 2010 11:04:31 +0200 | Cezary Kaliszyk | 2 more lifted lemmas needed for second representation | file | diff | annotate |
| Thu, 15 Apr 2010 21:56:03 +0200 | Christian Urban | some tuning of proofs | file | diff | annotate |
| Wed, 14 Apr 2010 08:42:38 +0200 | Cezary Kaliszyk | merge | file | diff | annotate |
| Wed, 14 Apr 2010 08:36:54 +0200 | Cezary Kaliszyk | merge part: delete_rsp | file | diff | annotate |
| Wed, 14 Apr 2010 08:35:31 +0200 | Cezary Kaliszyk | merge part1: none_memb_nil | file | diff | annotate |
| Wed, 14 Apr 2010 08:16:54 +0200 | Christian Urban | added header and more tuning | file | diff | annotate |
| Wed, 14 Apr 2010 07:57:55 +0200 | Christian Urban | more tuning | file | diff | annotate |
| Wed, 14 Apr 2010 07:34:03 +0200 | Christian Urban | tuned | file | diff | annotate |
| Tue, 13 Apr 2010 15:59:53 +0200 | Cezary Kaliszyk | Working FSet with additional lemmas. | file | diff | annotate |
| Tue, 13 Apr 2010 15:00:49 +0200 | Cezary Kaliszyk | Much more in FSet (currently non-working) | file | diff | annotate |
| Tue, 13 Apr 2010 00:53:48 +0200 | Christian Urban | merged | file | diff | annotate |
| Tue, 13 Apr 2010 00:53:32 +0200 | Christian Urban | some small tunings (incompleted work in Lambda.thy) | file | diff | annotate |
| Mon, 12 Apr 2010 17:05:19 +0200 | Cezary Kaliszyk | Porting lemmas from Quotient package FSet to new FSet. | file | diff | annotate |
| Sat, 27 Mar 2010 14:38:22 +0100 | Cezary Kaliszyk | Remove list_eq notation. | file | diff | annotate |