| 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
|