TWiki> DReaM Web>IsaPlannerToDo (17 Jan 2006, Main.ldixon)EditAttach

-- Main.s0199173 - 01 Dec 2005

  • Fix backward stepping for interactive stacked search.
  • Examine a2_m3 benchmarking and commutativity of multiplication problem. Failure to prove lemma "a + c + a = a + (c + a)", and seems to skip induction on b in lemma "b * c + c = suc b + c".
Topic revision: r2 - 17 Jan 2006 - 17:26:12 - Main.ldixon
 
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies