| Wed, 30 Dec 2015 18:03:23 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Wed, 30 Dec 2015 17:55:43 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Wed, 30 Dec 2015 14:05:51 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Wed, 30 Dec 2015 11:37:29 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Tue, 29 Dec 2015 23:40:04 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Sun, 02 Nov 2014 17:13:28 +0100 | wenzelm | modernized header; | file | diff | annotate |
| Fri, 04 Jul 2014 20:18:47 +0200 | haftmann | reduced name variants for assoc and commute on plus and mult | file | diff | annotate |
| Fri, 01 Nov 2013 18:51:14 +0100 | haftmann | more simplification rules on unary and binary minus | file | diff | annotate |
| Tue, 26 Mar 2013 12:20:58 +0100 | hoelzl | HOL-NSA should only import Complex_Main | file | diff | annotate |
| Mon, 03 Dec 2012 18:18:59 +0100 | hoelzl | rename filter_lim to filterlim to be consistent with filtermap | file | diff | annotate |
| Tue, 27 Nov 2012 20:01:57 +0100 | wenzelm | repaired text following 491c5c81c2e8; | file | diff | annotate |
| Sun, 13 Mar 2011 22:55:50 +0100 | wenzelm | tuned headers; | file | diff | annotate |
| Sun, 16 Jan 2011 15:53:03 +0100 | wenzelm | tuned headers; | file | diff | annotate |
| Mon, 19 Jul 2010 16:09:44 +0200 | haftmann | diff_minus subsumes diff_def | file | diff | annotate |
| Mon, 12 Jul 2010 08:58:13 +0200 | haftmann | dropped superfluous [code del]s | file | diff | annotate |
| Fri, 29 May 2009 09:22:56 -0700 | huffman | generalize constants from Lim.thy to class metric_space | file | diff | annotate |
| Fri, 10 Oct 2008 06:45:53 +0200 | haftmann | `code func` now just `code` | file | diff | annotate |
| Thu, 03 Jul 2008 17:47:22 +0200 | huffman | move nonstandard analysis theories to NSA directory | file | diff | annotate |