| Wed, 29 Dec 2010 17:34:41 +0100 | wenzelm | explicit file specifications -- avoid secondary load path; | file | diff | annotate |
| Wed, 11 Nov 2009 14:15:11 +0100 | wenzelm | uniform use of simultabeous use_thys; | file | diff | annotate |
| Fri, 25 Jul 2008 12:03:31 +0200 | haftmann | added explicit root theory; some tuning | file | diff | annotate |
| Mon, 30 Jul 2007 19:46:13 +0200 | wenzelm | simultaneous use_thys; | file | diff | annotate |
| Wed, 23 Oct 2002 16:09:02 +0200 | streckem | Added compiler | file | diff | annotate |
| Tue, 08 Oct 2002 14:08:50 +0200 | kleing | defensive machine | file | diff | annotate |
| Sat, 15 Jun 2002 22:57:33 +0200 | kleing | LBV instantiated for JVM | file | diff | annotate |
| Wed, 27 Mar 2002 20:45:03 +0100 | kleing | added lbv completeness | file | diff | annotate |
| Wed, 20 Mar 2002 13:21:07 +0100 | kleing | small refactoring for lbv with semilattices | file | diff | annotate |
| Thu, 28 Feb 2002 18:16:23 +0100 | kleing | included LBVSpec again | file | diff | annotate |
| Tue, 26 Feb 2002 15:45:32 +0100 | kleing | introduces SystemClasses and BVExample | file | diff | annotate |
| Thu, 21 Feb 2002 09:54:08 +0100 | kleing | new document | file | diff | annotate |
| Thu, 17 Jan 2002 09:01:10 +0100 | kleing | fixed | file | diff | annotate |
| Tue, 15 Jan 2002 22:22:05 +0100 | kleing | use exec_lub instead of some_lub | file | diff | annotate |
| Mon, 17 Dec 2001 13:25:18 +0100 | kleing | fixed JVMListExample | file | diff | annotate |
| Sun, 16 Dec 2001 00:19:54 +0100 | kleing | temporarily removed JVMListExample | file | diff | annotate |
| Mon, 10 Dec 2001 15:24:22 +0100 | berghofe | Added examples for code generator. | file | diff | annotate |
| Mon, 05 Feb 2001 20:14:15 +0100 | oheimb | improved document (added headers etc) | file | diff | annotate |
| Thu, 01 Feb 2001 20:53:13 +0100 | oheimb | converted to Isar, simplifying recursion on class hierarchy | file | diff | annotate |
| Thu, 07 Dec 2000 19:26:30 +0100 | kleing | removed Digest (temporarily, not up to date) | file | diff | annotate |
| Wed, 06 Dec 2000 19:05:50 +0100 | oheimb | simplified interactive handling | file | diff | annotate |
| Thu, 21 Sep 2000 12:25:48 +0200 | kleing | Digest.thy as toplevel theory | file | diff | annotate |
| Fri, 11 Aug 2000 14:52:39 +0200 | kleing | added LBV | file | diff | annotate |
| Tue, 08 Aug 2000 16:39:34 +0200 | oheimb | added Example | file | diff | annotate |
| Tue, 04 Jul 2000 10:54:32 +0200 | oheimb | added BinOp | file | diff | annotate |
| Mon, 26 Jun 2000 00:00:40 +0200 | wenzelm | use with_paths; | file | diff | annotate |
| Tue, 30 May 2000 16:08:38 +0200 | wenzelm | cleaned up; | file | diff | annotate |
| Thu, 11 Nov 1999 12:23:45 +0100 | nipkow | *** empty log message *** | file | diff | annotate |