| Thu, 21 Sep 2000 12:26:37 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Thu, 21 Sep 2000 12:25:48 +0200 | kleing | Digest.thy as toplevel theory | changeset | files |
| Thu, 21 Sep 2000 12:25:07 +0200 | kleing | theorem digest of all MicroJava theorems, theories in alphabetical order | changeset | files |
| Thu, 21 Sep 2000 12:17:11 +0200 | fleuriot | New theories: construction of hypernaturals, nonstandard extensions, | changeset | files |
| Thu, 21 Sep 2000 12:13:36 +0200 | kleing | tuned, added lightweight BV to abstract, added Bali link | changeset | files |
| Thu, 21 Sep 2000 12:11:38 +0200 | fleuriot | Updated Files with new theorems | changeset | files |
| Thu, 21 Sep 2000 10:42:49 +0200 | kleing | unsymbolized | changeset | files |
| Wed, 20 Sep 2000 21:20:41 +0200 | wenzelm | removed dead code; | changeset | files |
| Wed, 20 Sep 2000 21:20:26 +0200 | wenzelm | added "install" target; | changeset | files |
| Wed, 20 Sep 2000 21:20:01 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 20 Sep 2000 14:59:19 +0200 | wenzelm | tuned rpm command lines; | changeset | files |
| Wed, 20 Sep 2000 00:50:09 +0200 | wenzelm | updated; | changeset | files |
| Wed, 20 Sep 2000 00:02:26 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
| Tue, 19 Sep 2000 23:54:25 +0200 | wenzelm | added common args keywords; | changeset | files |
| Tue, 19 Sep 2000 23:53:00 +0200 | wenzelm | tuned args; | changeset | files |
| Tue, 19 Sep 2000 23:52:37 +0200 | wenzelm | added iff_add_global', iff_add_local' (syntax "iff?"); | changeset | files |
| Tue, 19 Sep 2000 23:52:00 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 19 Sep 2000 23:51:39 +0200 | wenzelm | attribute / modifier 'iff': support "?" mode; | changeset | files |
| Tue, 19 Sep 2000 23:51:00 +0200 | wenzelm | tuned msg; | changeset | files |
| Tue, 19 Sep 2000 23:50:43 +0200 | wenzelm | updated; | changeset | files |
| Mon, 18 Sep 2000 23:59:53 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 18 Sep 2000 23:53:27 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 18 Sep 2000 23:43:56 +0200 | wenzelm | remove unreadable symbol names from sources; | changeset | files |
| Mon, 18 Sep 2000 23:43:23 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 18 Sep 2000 23:43:11 +0200 | wenzelm | added plain "tt" style; | changeset | files |
| Mon, 18 Sep 2000 21:29:49 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Mon, 18 Sep 2000 17:58:03 +0200 | wenzelm | rpm --force; | changeset | files |
| Mon, 18 Sep 2000 17:56:44 +0200 | wenzelm | best-style made default; | changeset | files |
| Mon, 18 Sep 2000 15:34:07 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 18 Sep 2000 15:21:01 +0200 | wenzelm | tuned; | changeset | files |