| Sun, 28 May 2006 19:54:20 +0200 |
wenzelm |
removed legacy ML scripts;
|
file |
diff |
annotate
|
| Thu, 06 Apr 2006 16:13:17 +0200 |
haftmann |
cleanup in typedef/datatype package
|
file |
diff |
annotate
|
| Tue, 20 Dec 2005 08:58:36 +0100 |
haftmann |
removed superfluos is_prefix functions
|
file |
diff |
annotate
|
| Fri, 21 Oct 2005 18:14:38 +0200 |
wenzelm |
OldGoals;
|
file |
diff |
annotate
|
| Sat, 17 Sep 2005 18:11:25 +0200 |
wenzelm |
removed obsolete BasisLibrary;
|
file |
diff |
annotate
|
| Sat, 03 Sep 2005 16:47:25 +0200 |
wenzelm |
simplified oracle;
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 18:33:08 +0200 |
wenzelm |
accomodate identification of type Sign.sg and theory;
|
file |
diff |
annotate
|
| Mon, 02 Oct 2000 14:59:04 +0200 |
wenzelm |
delcongs weak_case_congs;
|
file |
diff |
annotate
|
| Fri, 20 Aug 1999 16:16:02 +0200 |
wenzelm |
delcongs [if_weak_cong];
|
file |
diff |
annotate
|
| Thu, 19 Aug 1999 21:49:10 +0200 |
wenzelm |
quite a lot of tuning and cleanup;
|
file |
diff |
annotate
|
| Thu, 22 Apr 1999 11:09:05 +0200 |
mueller |
added translation from IOA to mucalculus and corresponding modelchecker examples;
|
file |
diff |
annotate
|