| Fri, 20 Oct 2006 18:20:22 +0200 | haftmann | cleaned up | changeset | files |
| Fri, 20 Oct 2006 17:07:47 +0200 | haftmann | final Haskell serializer | changeset | files |
| Fri, 20 Oct 2006 17:07:46 +0200 | haftmann | dropped classop shallow namespace | changeset | files |
| Fri, 20 Oct 2006 17:07:41 +0200 | haftmann | added Haskell | changeset | files |
| Fri, 20 Oct 2006 17:07:27 +0200 | haftmann | added reserved words for Haskell | changeset | files |
| Fri, 20 Oct 2006 17:07:26 +0200 | haftmann | slight cleanup | changeset | files |
| Fri, 20 Oct 2006 17:07:25 +0200 | haftmann | extended section on code generator | changeset | files |
| Fri, 20 Oct 2006 17:07:24 +0200 | haftmann | small refinements | changeset | files |
| Fri, 20 Oct 2006 17:07:23 +0200 | haftmann | continued | changeset | files |
| Fri, 20 Oct 2006 17:07:22 +0200 | haftmann | added entries for tutorials | changeset | files |
| Fri, 20 Oct 2006 14:13:48 +0200 | berghofe | Proof of "bs # fK bs us vs" no longer depends on FCBs. | changeset | files |
| Fri, 20 Oct 2006 11:07:45 +0200 | paulson | example of a single-step proof reconstruction | changeset | files |
| Fri, 20 Oct 2006 11:06:20 +0200 | paulson | Fixed the "exception Empty" bug in elim2Fol | changeset | files |
| Fri, 20 Oct 2006 11:04:15 +0200 | paulson | Added more debugging info | changeset | files |
| Fri, 20 Oct 2006 11:03:33 +0200 | paulson | nclauses no longer requires its input to be in NNF | changeset | files |
| Fri, 20 Oct 2006 10:44:56 +0200 | haftmann | cleanup | changeset | files |
| Fri, 20 Oct 2006 10:44:55 +0200 | haftmann | explicit change of code width possible | changeset | files |
| Fri, 20 Oct 2006 10:44:53 +0200 | haftmann | code nofunc now permits theorems violating typing discipline | changeset | files |
| Fri, 20 Oct 2006 10:44:51 +0200 | haftmann | abandoned foldl | changeset | files |
| Fri, 20 Oct 2006 10:44:47 +0200 | haftmann | fold cleanup | changeset | files |
| Fri, 20 Oct 2006 10:44:42 +0200 | haftmann | slight cleanup | changeset | files |
| Fri, 20 Oct 2006 10:44:39 +0200 | haftmann | slight adaption | changeset | files |
| Fri, 20 Oct 2006 10:44:38 +0200 | haftmann | added normal post setup; cleaned up "execution" constants | changeset | files |
| Fri, 20 Oct 2006 10:44:37 +0200 | haftmann | added normal post setup | changeset | files |
| Fri, 20 Oct 2006 10:44:36 +0200 | haftmann | added if_delayed | changeset | files |
| Fri, 20 Oct 2006 10:44:35 +0200 | haftmann | started tutorial | changeset | files |
| Fri, 20 Oct 2006 10:44:34 +0200 | haftmann | code_constsubst -> code_axioms | changeset | files |
| Fri, 20 Oct 2006 10:44:33 +0200 | haftmann | Symtab.foldl replaced by Symtab.fold | changeset | files |
| Thu, 19 Oct 2006 12:08:27 +0200 | berghofe | Induction rule for graph of recursion combinator | changeset | files |
| Thu, 19 Oct 2006 11:21:01 +0200 | berghofe | Split up FCBs into separate formulae for each binder. | changeset | files |