| Sat, 09 May 2009 09:17:29 +0200 | haftmann | interface changes in linarith.ML | file | diff | annotate |
| Mon, 23 Mar 2009 19:01:15 +0100 | haftmann | structure LinArith now named Lin_Arith | file | diff | annotate |
| Mon, 22 Sep 2008 08:00:24 +0200 | haftmann | fixed headers | file | diff | annotate |
| Thu, 03 Jul 2008 17:47:22 +0200 | huffman | move nonstandard analysis theories to NSA directory | file | diff | annotate |