| Fri, 07 May 2021 18:12:51 +0200 |
* WN: simplify const names like "is'_expanded"
|
file | diff | annotate |
| Thu, 29 Apr 2021 11:36:11 +0200 |
eliminate "handle _ => ..." in Rewrite.rewrite
|
file | diff | annotate |
| Wed, 21 Apr 2021 10:04:17 +0200 |
done TODO caused by ac7426ab0491
|
file | diff | annotate |
| Tue, 20 Apr 2021 16:58:44 +0200 |
replace power ^^^ by \<up>
|
file | diff | annotate |
| Mon, 19 Apr 2021 15:02:00 +0200 |
long identifiers for occurences in test/../termC.sml
|
file | diff | annotate |
| Sat, 17 Apr 2021 21:10:27 +0200 |
more direct use of Thm.prop_of;
|
file | diff | annotate |
| Wed, 20 May 2020 12:52:09 +0200 |
standard format for string lists
|
file | diff | annotate |
| Fri, 15 May 2020 14:22:05 +0200 |
prep. cleanup of Specification
|
file | diff | annotate |
| Fri, 15 May 2020 11:46:43 +0200 |
shift code from Specification to appropriate locations
|
file | diff | annotate |
| Wed, 13 May 2020 11:34:05 +0200 |
shift code from struct.Specify to appropriate locations
|
file | diff | annotate |
| Tue, 12 May 2020 17:42:29 +0200 |
shift code from struct.Specify to appropriate locations
|
file | diff | annotate |
| Tue, 12 May 2020 10:14:09 +0200 |
distribute code from old Specify/ptyps.sml
|
file | diff | annotate |
| Mon, 11 May 2020 20:49:27 +0200 |
prep. remove Specify/mstools.sml
|
file | diff | annotate |
| Tue, 05 May 2020 15:39:20 +0200 |
assign code struct.O_Model and I_Model, part 2: model.sml is clean
|
file | diff | annotate |
| Tue, 05 May 2020 13:33:23 +0200 |
assign code struct.O_Model and I_Model, part 1
|
file | diff | annotate |
| Wed, 22 Apr 2020 11:06:48 +0200 |
shift Unsynchronized.ref for tracing to respect.struct.
|
file | diff | annotate |
| Tue, 21 Apr 2020 16:53:17 +0200 |
Test_Isac_Short now ok.
|
file | diff | annotate |
| Fri, 10 Apr 2020 18:32:36 +0200 |
use "UnparseC" for renaming identifiers
|
file | diff | annotate |
| Thu, 09 Apr 2020 17:13:17 +0200 |
separate struct. UnparseC, shift code to ThmC
|
file | diff | annotate |
| Wed, 08 Apr 2020 12:32:51 +0200 |
use new struct "Rule_Set" for renaming identifiers
|
file | diff | annotate |
| Mon, 23 Mar 2020 13:31:29 +0100 |
separate structure Detail_Step
|
file | diff | annotate |
| Tue, 04 Feb 2020 17:11:54 +0100 |
lucin: rename central structure to Lucin
|
file | diff | annotate |
| Tue, 04 Feb 2020 16:27:54 +0100 |
lucin: set_found ONCE in locate_input_tactic makes "fun me" work
|
file | diff | annotate |
| Mon, 26 Aug 2019 17:40:27 +0200 |
rename Isac.thy --> Isac_Knowledge.thy
|
file | diff | annotate |
| Thu, 21 Mar 2019 17:51:18 +0100 |
[-Test_Isac] extend "is_polyexp (Const _) = true" for AA
|
file | diff | annotate |
| Wed, 20 Mar 2019 15:34:43 +0100 |
[-Test_Isac] shift tests to appropriate file
|
file | diff | annotate |
| Wed, 20 Mar 2019 15:27:46 +0100 |
[-Test_Isac] unify TermC.coeff_in with occurs_in
|
file | diff | annotate |
| Wed, 20 Mar 2019 12:16:48 +0100 |
[-Test_Isac] correct TermC.coeff_in (revert bool value)
|
file | diff | annotate |
| Tue, 19 Mar 2019 15:42:15 +0100 |
[-Test_Isac] coeff_in used in Poly, transfer respective tests
|
file | diff | annotate |
| Fri, 01 Mar 2019 13:24:08 +0100 |
funpack: replace free variables by constants for partial_function
|
file | diff | annotate |
| Tue, 06 Feb 2018 16:18:43 +0100 |
Isabelle2015->17: transfer changes from src/ to test/
|
file | diff | annotate |
| Wed, 05 Oct 2016 13:09:54 +0200 |
cleaned tests from autoCalculate' (removed ')
|
file | diff | annotate |
| Mon, 07 Dec 2015 14:10:59 +0100 |
Isabelle2014-->15: closed Thm.thy applied to tests
|
file | diff | annotate |
| Fri, 08 May 2015 15:43:15 +0200 |
Isabelle201302 --> Isabelle2014: negative numbers' representation changed
|
file | diff | annotate |
| Mon, 20 Apr 2015 14:18:40 +0200 |
update test/ to Isabelle2014 (~ updates of src/)
|
file | diff | annotate |
| Fri, 13 Jun 2014 12:42:15 +0200 |
autoCalculate now parallelized
|
file | diff | annotate |
| Fri, 13 Jun 2014 12:06:38 +0200 |
moved from "Unsynchronized.ref states" to "Synchronized.var states"
|
file | diff | annotate |
| Mon, 02 Sep 2013 16:16:08 +0200 |
Test_Isac works again, almost ..
|
file | diff | annotate |
| Fri, 12 Oct 2012 16:03:07 +0200 |
2011-->2012:
|
file | diff | annotate |
| Sat, 17 Mar 2012 12:52:30 +0100 |
uncomment test/../root,equation,poly.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |
| Fri, 06 May 2011 11:18:07 +0200 |
intermed. ctxt ..: cleanup before start with Add_Given
|
file | diff | annotate |
| Wed, 23 Mar 2011 17:20:39 +0100 |
make Test_Isac.thy run in jEdit; intermed.
|
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, 31 Dec 2010 14:54:02 +0100 |
removed error *** nxt_add: EX itm. not(dat(itm)<=dat(ori))
|
file | diff | annotate |
| Mon, 11 Oct 2010 12:55:40 +0200 |
intermed. repair Isac.thy, thehier := the_hier ...
|
file | diff | annotate |
| Wed, 06 Oct 2010 15:12:41 +0200 |
intermed. test/../integrate.sml in -- me method [diff,integration] --
|
file | diff | annotate |
| Fri, 01 Oct 2010 18:25:06 +0200 |
all rewriting in test/../poly.sml works
|
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 |
| Sat, 25 Sep 2010 16:49:33 +0200 |
rewrite_ returns assumptions without Trueprop (as was in Isabelle2002)
|
file | diff | annotate |
| Wed, 08 Sep 2010 16:47:22 +0200 |
tuned src + test
|
file | diff | annotate |
| Thu, 02 Sep 2010 15:36:48 +0200 |
updates over all Knowledge/*: Scripts 'Calculate ...'
|
file | diff | annotate |
| Thu, 02 Sep 2010 15:11:23 +0200 |
cleanup within Knowledge/Poly, start with Scripts
|
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 |