| Mon, 08 Jun 2009 09:22:47 +0200 | haftmann | constant "chars" of all characters | file | diff | annotate |
| Tue, 02 Jun 2009 21:13:47 +0200 | haftmann | moved restrict_map_insert to theory Map | file | diff | annotate |
| Tue, 02 Jun 2009 16:23:43 +0200 | haftmann | added/moved lemmas by Andreas Lochbihler | file | diff | annotate |
| Tue, 02 Jun 2009 15:53:34 +0200 | haftmann | added Fin_Fun theory | file | diff | annotate |