| Fri, 12 Jan 2001 16:07:20 +0100 | paulson | auto update | changeset | files |
| Fri, 12 Jan 2001 16:05:12 +0100 | paulson | general revisions | changeset | files |
| Fri, 12 Jan 2001 11:08:06 +0100 | wenzelm | added Sigma_Algebra; | changeset | files |
| Fri, 12 Jan 2001 11:06:50 +0100 | wenzelm | added Induct/Sigma_Algebra.thy; | changeset | files |
| Fri, 12 Jan 2001 09:32:53 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 11 Jan 2001 21:51:14 +0100 | wenzelm | do not hilite "xnum"; | changeset | files |
| Thu, 11 Jan 2001 19:38:37 +0100 | wenzelm | make_raw: do not AutoBind.drop_judgment; | changeset | files |