| Mon, 21 Jun 2010 12:28:46 +0200 | blanchet | clean up after fcc768dc9dd0 | changeset | files |
| Mon, 21 Jun 2010 11:16:00 +0200 | blanchet | adjusted Nitpick examples to latest changes + make them slightly faster | changeset | files |
| Mon, 21 Jun 2010 11:15:21 +0200 | blanchet | optimized code generated for datatype cases + more; | changeset | files |
| Mon, 21 Jun 2010 09:38:20 +0200 | haftmann | activated Scala code generator test | changeset | files |
| Mon, 21 Jun 2010 09:38:20 +0200 | haftmann | added bot instances; tuned | changeset | files |
| Mon, 21 Jun 2010 09:06:14 +0200 | haftmann | extensionality rule fset_eqI | changeset | files |
| Sun, 20 Jun 2010 22:01:22 +0200 | haftmann | merged | changeset | files |
| Sun, 20 Jun 2010 19:02:41 +0200 | haftmann | separate section for diagnostic commands | changeset | files |
| Sat, 19 Jun 2010 09:50:30 +0200 | haftmann | more binding; avoid arcane Rep and Abs prefixes | changeset | files |
| Sat, 19 Jun 2010 09:14:06 +0200 | haftmann | cleanup of typecopy package | changeset | files |
| Sat, 19 Jun 2010 06:43:33 +0200 | haftmann | quickcheck for fsets | changeset | files |
| Fri, 18 Jun 2010 22:41:16 +0200 | nipkow | merged | changeset | files |
| Fri, 18 Jun 2010 22:40:58 +0200 | nipkow | added pigeonhole lemmas | changeset | files |
| Fri, 18 Jun 2010 21:22:05 +0200 | haftmann | merged | changeset | files |
| Fri, 18 Jun 2010 15:59:51 +0200 | haftmann | tuned whitespace; dropped dead code | changeset | files |
| Fri, 18 Jun 2010 15:26:04 +0200 | haftmann | code_simp: only succeed on real progress | changeset | files |
| Fri, 18 Jun 2010 15:26:02 +0200 | haftmann | prefer fold over foldl | changeset | files |
| Fri, 18 Jun 2010 15:03:21 +0200 | haftmann | conclude simplification with default simpset | changeset | files |
| Fri, 18 Jun 2010 15:03:21 +0200 | haftmann | drop subsumed default equations (requires a little bit unfortunate laziness) | changeset | files |
| Fri, 18 Jun 2010 15:03:20 +0200 | haftmann | avoid Scala legacy operations | changeset | files |
| Fri, 18 Jun 2010 15:03:20 +0200 | haftmann | prefer fold over foldl | changeset | files |
| Fri, 18 Jun 2010 09:21:41 +0200 | haftmann | made List.thy a join point in the theory graph | changeset | files |
| Fri, 18 Jun 2010 20:22:06 +0200 | nipkow | tuned set_replicate lemmas | changeset | files |
| Fri, 18 Jun 2010 14:14:42 +0200 | nipkow | merged | changeset | files |
| Fri, 18 Jun 2010 14:14:29 +0200 | nipkow | added lemmas | changeset | files |
| Fri, 18 Jun 2010 09:04:00 +0200 | haftmann | dropped dead code | changeset | files |
| Thu, 17 Jun 2010 19:32:05 +0200 | haftmann | replaced unreliable metis proof | changeset | files |
| Thu, 17 Jun 2010 16:15:15 +0200 | haftmann | rev is reverse in Haskell | changeset | files |
| Thu, 17 Jun 2010 15:59:48 +0200 | haftmann | first serious draft of a scala code generator | changeset | files |
| Thu, 17 Jun 2010 15:59:47 +0200 | haftmann | more precise code | changeset | files |
| Thu, 17 Jun 2010 15:59:46 +0200 | haftmann | explicit type variable arguments for constructors | changeset | files |
| Thu, 17 Jun 2010 11:33:04 +0200 | haftmann | transitive superclasses were also only a misunderstanding | changeset | files |
| Thu, 17 Jun 2010 10:57:00 +0200 | haftmann | formal introduction of transitive superclasses | changeset | files |
| Thu, 17 Jun 2010 10:51:38 +0200 | haftmann | dropped obscure type argument weakening mapping -- was only a misunderstanding | changeset | files |
| Thu, 17 Jun 2010 10:45:10 +0200 | haftmann | added simp evaluator | changeset | files |
| Thu, 17 Jun 2010 10:02:29 +0200 | haftmann | merged | changeset | files |
| Tue, 15 Jun 2010 14:28:22 +0200 | haftmann | added code_simp infrastructure | changeset | files |
| Tue, 15 Jun 2010 14:28:08 +0200 | haftmann | tuned whitespace | changeset | files |
| Tue, 15 Jun 2010 11:38:40 +0200 | haftmann | maintain cong rules for case combinators; more precise permissiveness | changeset | files |
| Tue, 15 Jun 2010 11:38:40 +0200 | haftmann | drop function definitions of combinators | changeset | files |
| Tue, 15 Jun 2010 11:38:39 +0200 | haftmann | maintain cong rules for case combinators | changeset | files |
| Tue, 15 Jun 2010 08:32:32 +0200 | haftmann | formal introduction of case cong | changeset | files |
| Tue, 15 Jun 2010 16:42:09 +0200 | blanchet | found missing beta-eta-contraction | changeset | files |
| Tue, 15 Jun 2010 16:20:23 +0200 | blanchet | added missing Umlaut | changeset | files |
| Tue, 15 Jun 2010 10:47:06 +0200 | blanchet | make example run a bit faster (might help atbroy102) | changeset | files |
| Tue, 15 Jun 2010 07:42:48 +0200 | haftmann | merged | changeset | files |
| Tue, 15 Jun 2010 07:41:37 +0200 | haftmann | tuned documents | changeset | files |
| Mon, 14 Jun 2010 16:00:47 +0200 | haftmann | teaked naming of superclass projections | changeset | files |
| Mon, 14 Jun 2010 16:00:46 +0200 | haftmann | added lemma funpow_mult | changeset | files |
| Mon, 14 Jun 2010 15:27:11 +0200 | haftmann | extended bib | changeset | files |
| Mon, 14 Jun 2010 15:27:09 +0200 | haftmann | updated generated code | changeset | files |
| Mon, 14 Jun 2010 15:27:09 +0200 | haftmann | added reference | changeset | files |
| Mon, 14 Jun 2010 15:27:08 +0200 | haftmann | subsection on locale interpretation | changeset | files |
| Mon, 14 Jun 2010 12:01:30 +0200 | haftmann | explicitly name and note equations for class eq | changeset | files |
| Mon, 14 Jun 2010 12:01:30 +0200 | haftmann | use various predefined Haskell operations when generating code | changeset | files |
| Mon, 14 Jun 2010 12:01:30 +0200 | haftmann | NEWS | changeset | files |
| Mon, 14 Jun 2010 10:50:49 +0200 | haftmann | tuned internal order | changeset | files |
| Mon, 14 Jun 2010 10:38:29 +0200 | haftmann | dropped unused bindings | changeset | files |
| Mon, 14 Jun 2010 10:38:28 +0200 | haftmann | corrected syntax diagram | changeset | files |
| Mon, 14 Jun 2010 21:49:25 +0200 | blanchet | turn off new polymorphism code again -- a new issue popped up | changeset | files |