| Mon, 23 Mar 2015 23:16:40 +0100 | wenzelm | NEWS; | file | diff | annotate |
| Thu, 19 Mar 2015 14:24:51 +0000 | paulson | New material for complex sin, cos, tan, Ln, also some reorganisation | file | diff | annotate |
| Wed, 18 Mar 2015 17:23:22 +0000 | paulson | new HOL Light material about exp, sin, cos | file | diff | annotate |
| Wed, 18 Mar 2015 13:51:33 +0100 | noschinl | added proof method rewrite | file | diff | annotate |
| Tue, 17 Mar 2015 12:23:56 +0000 | paulson | Merge | file | diff | annotate |
| Mon, 16 Mar 2015 15:30:00 +0000 | paulson | The factorial function, "fact", now has type "nat => 'a" | file | diff | annotate |
| Tue, 10 Mar 2015 23:04:40 +0100 | blanchet | documented renamed theories | file | diff | annotate |
| Mon, 09 Mar 2015 21:30:42 +0100 | wenzelm | merged | file | diff | annotate |
| Mon, 09 Mar 2015 20:33:33 +0100 | wenzelm | support structural composition (THEN_ALL_NEW) for proof methods; | file | diff | annotate |
| Mon, 09 Mar 2015 16:42:18 +0000 | paulson | Removed the infix operator "choose" to allow HOLCF to build | file | diff | annotate |
| Sat, 07 Mar 2015 22:38:11 +0100 | wenzelm | NEWS; | file | diff | annotate |
| Fri, 06 Mar 2015 15:58:56 +0100 | wenzelm | Thm.cterm_of and Thm.ctyp_of operate on local context; | file | diff | annotate |
| Wed, 04 Mar 2015 23:31:13 +0100 | nipkow | merged | file | diff | annotate |
| Wed, 04 Mar 2015 23:31:04 +0100 | nipkow | Removed the obsolete functions "natfloor" and "natceiling" | file | diff | annotate |
| Wed, 04 Mar 2015 19:53:18 +0100 | wenzelm | tuned signature -- prefer qualified names; | file | diff | annotate |
| Sat, 28 Feb 2015 08:50:00 +0100 | haftmann | spelling | file | diff | annotate |
| Fri, 27 Feb 2015 15:41:28 +0100 | wenzelm | tuned whitespace; | file | diff | annotate |
| Mon, 23 Feb 2015 14:50:30 +0100 | wenzelm | Goal.prove_multi is superseded by the fully general Goal.prove_common; | file | diff | annotate |
| Thu, 19 Feb 2015 11:53:36 +0100 | haftmann | establish unique preferred fact names | file | diff | annotate |
| Wed, 18 Feb 2015 22:46:48 +0100 | haftmann | eliminated fact duplicates | file | diff | annotate |
| Sat, 14 Feb 2015 10:24:15 +0100 | haftmann | dropped redundancy | file | diff | annotate |
| Wed, 11 Feb 2015 14:53:56 +0100 | blanchet | updated NEWS | file | diff | annotate |
| Tue, 10 Feb 2015 14:48:26 +0100 | wenzelm | proper context for resolve_tac, eresolve_tac, dresolve_tac, forward_tac etc.; | file | diff | annotate |
| Thu, 05 Feb 2015 13:01:12 +0100 | haftmann | dropped obsolete external entrance point | file | diff | annotate |
| Mon, 26 Jan 2015 14:34:10 +0100 | wenzelm | NEWS; | file | diff | annotate |
| Sun, 25 Jan 2015 22:11:06 +0100 | wenzelm | discontinued obsolete option "document_graph"; | file | diff | annotate |
| Tue, 13 Jan 2015 20:01:48 +0100 | hoelzl | NEWS | file | diff | annotate |
| Tue, 06 Jan 2015 22:48:34 +0100 | wenzelm | NEWS; | file | diff | annotate |
| Thu, 01 Jan 2015 11:12:15 +0100 | boehmes | merged | file | diff | annotate |
| Thu, 01 Jan 2015 11:08:47 +0100 | boehmes | updated NEWS | file | diff | annotate |