| Wed, 16 Apr 2014 21:51:41 +0200 | haftmann | more simp rules for Fun.swap | file | diff | annotate |
| Sat, 15 Mar 2014 08:31:33 +0100 | haftmann | more complete set of lemmas wrt. image and composition | file | diff | annotate |
| Thu, 13 Mar 2014 08:56:08 +0100 | haftmann | tuned proofs | file | diff | annotate |
| Sun, 09 Mar 2014 22:45:09 +0100 | haftmann | bootstrap fundamental Fun theory immediately after Set theory, without dependency on complete lattices | file | diff | annotate |
| Fri, 07 Mar 2014 22:30:58 +0100 | wenzelm | more antiquotations; | file | diff | annotate |
| Fri, 14 Feb 2014 07:53:46 +0100 | blanchet | renamed 'enriched_type' to more informative 'functor' (following the renaming of enriched type constructors to bounded natural functors) | file | diff | annotate |
| Wed, 12 Feb 2014 08:35:57 +0100 | blanchet | renamed '{prod,sum,bool,unit}_case' to 'case_...' | file | diff | annotate |