| Tue, 14 Jun 2011 18:03:14 +0200 |
Walther Neuper |
intermed. msteger present
decompose-isar
|
changeset |
files
|
| Tue, 31 May 2011 10:39:02 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Tue, 31 May 2011 10:24:59 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Tue, 31 May 2011 10:15:29 +0200 |
Walther Neuper |
contribution of Mathias Lehnfeld finished
decompose-isar
|
changeset |
files
|
| Mon, 30 May 2011 20:30:56 +0200 |
Mathias Lehnfeld |
report tuned
decompose-isar
|
changeset |
files
|
| Mon, 30 May 2011 11:02:21 +0200 |
Mathias Lehnfeld |
corrections, presentation & report finished
decompose-isar
|
changeset |
files
|
| Mon, 30 May 2011 02:04:29 +0200 |
Mathias Lehnfeld |
report finished
decompose-isar
|
changeset |
files
|
| Sun, 29 May 2011 21:02:40 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Sun, 29 May 2011 18:21:04 +0200 |
Mathias Lehnfeld |
report added
decompose-isar
|
changeset |
files
|
| Sun, 29 May 2011 18:14:43 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Sun, 29 May 2011 12:53:49 +0200 |
Mathias Lehnfeld |
presentation tuned
decompose-isar
|
changeset |
files
|
| Sat, 28 May 2011 21:41:12 +0200 |
Mathias Lehnfeld |
presentation extended
decompose-isar
|
changeset |
files
|
| Sat, 28 May 2011 02:55:36 +0200 |
Mathias Lehnfeld |
presentation draft
decompose-isar
|
changeset |
files
|
| Fri, 27 May 2011 18:00:42 +0200 |
Walther Neuper |
added expl for dropping Check_Elementwise Assumptions
decompose-isar
|
changeset |
files
|
| Fri, 27 May 2011 13:07:46 +0200 |
Walther Neuper |
survey presentation
decompose-isar
|
changeset |
files
|
| Fri, 27 May 2011 12:04:21 +0200 |
Mathias Lehnfeld |
tuned
decompose-isar
|
changeset |
files
|
| Fri, 27 May 2011 12:02:29 +0200 |
Mathias Lehnfeld |
added doc-src mlehnfeld
decompose-isar
|
changeset |
files
|
| Fri, 27 May 2011 11:47:36 +0200 |
Walther Neuper |
reformatted program ["Test","squ-equ-test-subpbl1"] for demo
decompose-isar
|
changeset |
files
|
| Sat, 21 May 2011 13:05:58 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Sat, 21 May 2011 12:52:59 +0200 |
Walther Neuper |
intermed. ctxt .. FINISHED
decompose-isar
|
changeset |
files
|
| Sat, 21 May 2011 09:54:39 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Sat, 21 May 2011 09:40:02 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Sat, 21 May 2011 09:30:36 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Fri, 20 May 2011 16:26:20 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Fri, 20 May 2011 14:49:07 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Fri, 20 May 2011 14:08:14 +0200 |
Walther Neuper |
intermed. ctxt ..: generate1..Check_Postcond..restored
decompose-isar
|
changeset |
files
|
| Fri, 20 May 2011 13:43:25 +0200 |
Walther Neuper |
intermed. ctxt ..: generate1..Check_Postcond..(*map str2term asm*)
decompose-isar
|
changeset |
files
|
| Fri, 20 May 2011 09:12:40 +0200 |
Walther Neuper |
intermed. ctxt ..: init_scrstate without precond work
decompose-isar
|
changeset |
files
|
| Fri, 20 May 2011 08:32:57 +0200 |
Walther Neuper |
intermed. ctxt ..: taken from fun init_scrstate
decompose-isar
|
changeset |
files
|
| Fri, 20 May 2011 08:20:53 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Fri, 20 May 2011 08:17:46 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Fri, 20 May 2011 08:12:51 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Fri, 20 May 2011 07:24:18 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Thu, 19 May 2011 19:28:22 +0200 |
Walther Neuper |
intermed. ctxt ..: add preconds in solve..Apply_Method
decompose-isar
|
changeset |
files
|
| Wed, 18 May 2011 16:06:00 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Wed, 18 May 2011 11:58:48 +0200 |
Walther Neuper |
intermed. ctxt ..: calculation x+1=2 goes through
decompose-isar
|
changeset |
files
|
| Wed, 18 May 2011 10:20:11 +0200 |
Walther Neuper |
intermed. ctxt ..: checked all generate1
decompose-isar
|
changeset |
files
|
| Wed, 18 May 2011 09:45:45 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Wed, 18 May 2011 09:37:35 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Wed, 18 May 2011 09:32:26 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Wed, 18 May 2011 09:25:36 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Wed, 18 May 2011 08:47:10 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Tue, 17 May 2011 17:54:58 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Tue, 17 May 2011 17:38:35 +0200 |
Walther Neuper |
intermed. ctxt ..: ctxt correct after Apply_Method in sub-method
decompose-isar
|
changeset |
files
|
| Tue, 17 May 2011 15:02:43 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Tue, 17 May 2011 14:56:54 +0200 |
Walther Neuper |
intermed. ctxt ..: finished check e_ctxt
decompose-isar
|
changeset |
files
|
| Tue, 17 May 2011 09:55:30 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Sun, 15 May 2011 13:59:05 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Sun, 15 May 2011 13:23:12 +0200 |
Walther Neuper |
intermed. ctxt ..: started check e_ctxt
decompose-isar
|
changeset |
files
|
| Sun, 15 May 2011 12:36:29 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Sun, 15 May 2011 11:32:41 +0200 |
Walther Neuper |
intermed. ctxt ..: checked all occurrences of ProofContext.init_global
decompose-isar
|
changeset |
files
|
| Sun, 15 May 2011 10:25:42 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Fri, 13 May 2011 17:19:38 +0200 |
Walther Neuper |
intermed. ctxt ..: x+1=2 now goes until Check_elementwise
decompose-isar
|
changeset |
files
|
| Fri, 13 May 2011 14:15:59 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Fri, 13 May 2011 11:45:07 +0200 |
Walther Neuper |
intermed. ctxt ..: extended PblObj with ctxt
decompose-isar
|
changeset |
files
|
| Fri, 13 May 2011 10:26:44 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Fri, 13 May 2011 09:28:38 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Thu, 12 May 2011 10:00:06 +0200 |
Walther Neuper |
added test-sequence with mini_subpbl x+1=2
decompose-isar
|
changeset |
files
|
| Thu, 12 May 2011 08:26:02 +0200 |
Walther Neuper |
tuned
decompose-isar
|
changeset |
files
|
| Wed, 11 May 2011 16:51:30 +0200 |
Walther Neuper |
intermed. ctxt ..: added ctxt to Subproblem'
decompose-isar
|
changeset |
files
|