| Wed, 28 Oct 2009 11:42:31 +0000 | paulson | New theory Probability, which contains a development of measure theory | file | diff | annotate |
| Thu, 22 Oct 2009 09:27:48 +0200 | nipkow | inv_onto -> inv_into | file | diff | annotate |
| Sun, 18 Oct 2009 12:07:25 +0200 | nipkow | Inv -> inv_onto, inv abbr. inv_onto UNIV. | file | diff | annotate |
| Tue, 23 Jun 2009 11:32:12 +0200 | haftmann | merged | file | diff | annotate |
| Tue, 23 Jun 2009 11:31:28 +0200 | haftmann | lemma funcset_id by Jeremy Avigad | file | diff | annotate |
| Tue, 23 Jun 2009 05:57:35 +0200 | nipkow | fixed name | file | diff | annotate |
| Mon, 22 Jun 2009 20:59:12 +0200 | nipkow | tuned FuncSet | file | diff | annotate |
| Sat, 20 Jun 2009 14:00:36 +0200 | nipkow | tuned | file | diff | annotate |
| Fri, 19 Jun 2009 22:49:12 +0200 | nipkow | Made Pi_I [simp] | file | diff | annotate |
| Mon, 23 Mar 2009 08:14:24 +0100 | haftmann | Main is (Complex_Main) base entry point in library theories | file | diff | annotate |
| Tue, 07 Oct 2008 16:07:50 +0200 | haftmann | arbitrary is undefined | file | diff | annotate |
| Mon, 07 Jul 2008 08:47:17 +0200 | haftmann | absolute imports of HOL/*.thy theories | file | diff | annotate |
| Thu, 26 Jun 2008 10:07:01 +0200 | haftmann | established Plain theory and image | file | diff | annotate |
| Thu, 12 Jun 2008 22:29:50 +0200 | wenzelm | removed obsolete skolem declarations -- done by Theory.at_end; | file | diff | annotate |
| Thu, 21 Feb 2008 17:34:09 +0100 | nipkow | moved bij_betw from Library/FuncSet to Fun, redistributed some lemmas | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Tue, 07 Nov 2006 11:47:57 +0100 | wenzelm | renamed 'const_syntax' to 'notation'; | file | diff | annotate |
| Thu, 28 Sep 2006 23:42:43 +0200 | wenzelm | fixed translations: CONST; | file | diff | annotate |
| Tue, 08 Aug 2006 18:40:56 +0200 | paulson | skolem declarations for built-in theorems | file | diff | annotate |
| Sat, 27 May 2006 17:42:02 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 16 May 2006 21:33:01 +0200 | wenzelm | tuned concrete syntax -- abbreviation/const_syntax; | file | diff | annotate |
| Tue, 02 May 2006 20:42:32 +0200 | wenzelm | replaced syntax/translations by abbreviation; | file | diff | annotate |
| Fri, 07 Oct 2005 22:59:18 +0200 | wenzelm | print_translation: does not handle _idtdummy; | file | diff | annotate |
| Wed, 18 Aug 2004 11:09:40 +0200 | nipkow | import -> imports | file | diff | annotate |
| Mon, 16 Aug 2004 14:22:27 +0200 | nipkow | New theory header syntax. | file | diff | annotate |
| Tue, 01 Jun 2004 11:25:26 +0200 | paulson | more on bij_betw | file | diff | annotate |
| Wed, 19 May 2004 11:30:56 +0200 | paulson | new bij_betw operator | file | diff | annotate |
| Fri, 14 May 2004 16:49:42 +0200 | paulson | new lemmas | file | diff | annotate |
| Thu, 06 May 2004 14:14:18 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Wed, 14 Apr 2004 14:13:05 +0200 | kleing | use more symbols in HTML output | file | diff | annotate |
| Fri, 27 Sep 2002 16:44:50 +0200 | paulson | Proof tidying | file | diff | annotate |
| Fri, 27 Sep 2002 10:36:21 +0200 | paulson | Tidied. New Pi-theorem. | file | diff | annotate |
| Thu, 26 Sep 2002 10:51:58 +0200 | paulson | new theory for Pi-sets, restrict, etc. | file | diff | annotate |