Tue, 03 Jul 2007 22:27:27 +0200 |
wenzelm |
proper use of ioa_package.ML;
|
file |
diff |
annotate
|
Sat, 08 Apr 2006 15:24:21 +0200 |
kleing |
converted Müller to Mueller to make smlnj 110.58 work
|
file |
diff |
annotate
|
Wed, 19 Oct 2005 21:52:37 +0200 |
wenzelm |
removed obsolete IOA/meta_theory/ioa_package.ML;
|
file |
diff |
annotate
|
Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
Thu, 15 Nov 2001 23:25:46 +0100 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
Tue, 30 May 2000 16:08:38 +0200 |
wenzelm |
cleaned up;
|
file |
diff |
annotate
|
Thu, 22 Apr 1999 18:20:37 +0200 |
wenzelm |
more graceful handling of load paths;
|
file |
diff |
annotate
|
Thu, 22 Apr 1999 11:05:48 +0200 |
mueller |
changed to include new subdirs ex and Modelcheck;
|
file |
diff |
annotate
|
Wed, 03 Feb 1999 17:36:55 +0100 |
wenzelm |
tidied load path handling;
|
file |
diff |
annotate
|
Tue, 21 Apr 1998 17:22:03 +0200 |
oheimb |
simplification of explicit theory usage and merges
|
file |
diff |
annotate
|
Mon, 12 Jan 1998 17:51:32 +0100 |
mueller |
added abstraction files;
|
file |
diff |
annotate
|
Wed, 30 Apr 1997 11:20:15 +0200 |
mueller |
New meta theory for IOA based on HOLCF.
|
file |
diff |
annotate
|