Wed, 23 Mar 2011 17:20:39 +0100 |
make Test_Isac.thy run in jEdit; intermed.
|
file | diff | annotate |
Sat, 19 Mar 2011 15:18:10 +0100 |
tuned
|
file | diff | annotate |
Thu, 10 Mar 2011 17:05:09 +0100 |
intermed.update Isabelle2011: Not --> HOL.Not
|
file | diff | annotate |
Thu, 10 Mar 2011 16:04:00 +0100 |
intermed.update Isabelle2011: HOL.True
|
file | diff | annotate |
Thu, 10 Mar 2011 12:45:58 +0100 |
intermed.update Isabelle2011: HOL.Trueprop
|
file | diff | annotate |
Fri, 04 Mar 2011 11:43:45 +0100 |
intermed.update Isabelle2001: updated "op =", "op +"
|
file | diff | annotate |
Fri, 01 Oct 2010 17:27:55 +0200 |
tuned: shifted last tests into respective files
|
file | diff | annotate |
Fri, 01 Oct 2010 10:23:38 +0200 |
repaired 'prepat's, the patterns and preconditions for Rrls
|
file | diff | annotate |
Tue, 28 Sep 2010 09:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
Tue, 28 Sep 2010 08:58:06 +0200 |
interrupted test/../integrate.sml for calculate.
|
file | diff | annotate |
Tue, 28 Sep 2010 07:28:10 +0200 |
repaired fun uminus_to_string, fun rewrite_terms_
|
file | diff | annotate |
Sat, 25 Sep 2010 16:49:33 +0200 |
rewrite_ returns assumptions without Trueprop (as was in Isabelle2002)
|
file | diff | annotate |
Tue, 31 Aug 2010 16:38:22 +0200 |
updating Knowledge/Simplify, changes ahead + in test
|
file | diff | annotate |
Mon, 30 Aug 2010 14:35:51 +0200 |
renamed test/* according to src/*
|
file | diff | annotate | base |