| Tue, 09 Jun 2009 19:41:27 +0200 | bulwahn | avoiding duplicate definitions of executable functions | changeset | files |
| Tue, 09 Jun 2009 20:40:19 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 09 Jun 2009 20:29:23 +0200 | wenzelm | more native Scala style; | changeset | files |
| Tue, 09 Jun 2009 20:18:21 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 09 Jun 2009 01:32:57 +0200 | wenzelm | simplified IsabelleSystem.platform_path for cygwin; | changeset | files |
| Tue, 09 Jun 2009 18:19:19 +0200 | wenzelm | merged | changeset | files |
| Tue, 09 Jun 2009 16:38:33 +0200 | himmelma | removed duplicate lemmas | changeset | files |
| Tue, 09 Jun 2009 14:20:37 +0200 | bulwahn | removed general graph functions in the predicate compiler | changeset | files |
| Tue, 09 Jun 2009 13:56:28 +0200 | bulwahn | added graph builders | changeset | files |
| Tue, 09 Jun 2009 13:40:57 +0200 | bulwahn | removed debug messages | changeset | files |
| Tue, 09 Jun 2009 12:05:22 +0200 | bulwahn | refactoring the predicate compiler | changeset | files |
| Tue, 09 Jun 2009 11:11:13 +0200 | chaieb | merged | changeset | files |
| Tue, 09 Jun 2009 11:10:33 +0200 | chaieb | Tuned sos tactic to reject non SOS goals | changeset | files |
| Tue, 09 Jun 2009 09:22:58 +0200 | boehmes | tuned | changeset | files |
| Mon, 08 Jun 2009 22:29:37 +0200 | boehmes | fast_lin_arith uses proper multiplication instead of unfolding to additions | changeset | files |
| Mon, 08 Jun 2009 20:43:57 +0200 | nipkow | more lemmas | changeset | files |