| Thu, 01 Jun 2006 21:14:54 +0200 | wenzelm | lemmas strip; | changeset | files |
| Thu, 01 Jun 2006 21:14:05 +0200 | wenzelm | removed obsolete ML files; | changeset | files |
| Thu, 01 Jun 2006 14:54:44 +0200 | urbanc | added some installation notes for the nominal package | changeset | files |
| Thu, 01 Jun 2006 14:51:37 +0200 | paulson | Tiny code cleanup | changeset | files |
| Thu, 01 Jun 2006 14:40:22 +0200 | urbanc | added an example suggested by D. Wang on the PoplMark-mailing list; | changeset | files |
| Thu, 01 Jun 2006 14:15:08 +0200 | urbanc | added the hack "reset NameSpace.unique_names" to Nominal.thy | changeset | files |
| Tue, 30 May 2006 12:24:04 +0200 | schirmer | tuned type print-translations | changeset | files |
| Mon, 29 May 2006 21:09:45 +0200 | wenzelm | proper meta definition; | changeset | files |
| Mon, 29 May 2006 19:42:58 +0200 | schirmer | fixed bug in type print translations | changeset | files |
| Mon, 29 May 2006 19:23:04 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 29 May 2006 17:38:30 +0200 | paulson | warnings to debug outputs | changeset | files |
| Mon, 29 May 2006 17:38:02 +0200 | paulson | warnings to debug outputs; default translation to const-typed | changeset | files |
| Mon, 29 May 2006 16:18:31 +0200 | paulson | Giving the "--silent" switch to E, to produce less output | changeset | files |
| Mon, 29 May 2006 13:15:53 +0200 | paulson | fixing a variable-clash bug in rule_by_tactic | changeset | files |
| Sun, 28 May 2006 20:53:03 +0200 | wenzelm | removed legacy ML scripts; | changeset | files |
| Sun, 28 May 2006 19:54:20 +0200 | wenzelm | removed legacy ML scripts; | changeset | files |
| Sat, 27 May 2006 21:18:51 +0200 | wenzelm | removed legacy ML scripts; | changeset | files |
| Sat, 27 May 2006 21:00:31 +0200 | wenzelm | removed legacy ML scripts; | changeset | files |
| Sat, 27 May 2006 19:49:36 +0200 | wenzelm | removed legacy ML scripts; | changeset | files |
| Sat, 27 May 2006 19:49:07 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 27 May 2006 17:42:02 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 27 May 2006 17:42:00 +0200 | wenzelm | complete_split_rule: all Vars; | changeset | files |
| Sat, 27 May 2006 17:41:59 +0200 | wenzelm | unfold/refold: LocalDefs.meta_rewrite_rule; | changeset | files |
| Fri, 26 May 2006 22:20:07 +0200 | wenzelm | removed unused extern_thm; | changeset | files |
| Fri, 26 May 2006 22:20:06 +0200 | wenzelm | activate Defines: fix frees; | changeset | files |
| Fri, 26 May 2006 22:20:05 +0200 | wenzelm | pretty: do not exterm thm names; | changeset | files |
| Fri, 26 May 2006 22:20:05 +0200 | wenzelm | forall_intr_list: do not ignore errors; | changeset | files |
| Fri, 26 May 2006 22:20:03 +0200 | wenzelm | separate checks for acyclic/wellformed; | changeset | files |
| Fri, 26 May 2006 22:20:02 +0200 | wenzelm | freeze_spec: gensym; | changeset | files |
| Thu, 25 May 2006 16:51:39 +0200 | wenzelm | tuned; | changeset | files |