Fri, 24 Nov 2023 15:34:07 +0100 |
followup 3: repair new fill_from_o, uncomment maximum of tests
|
file | diff | annotate |
Tue, 15 Aug 2023 12:22:49 +0200 |
prepare 13: Testi_Isac_Short without errors
|
file | diff | annotate |
Sat, 04 Feb 2023 17:00:25 +0100 |
eliminate use of Thy_Info 22: eliminate UnparseC.term, rename "_in_ctxt" -> ""
|
file | diff | annotate |
Tue, 31 Jan 2023 12:29:42 +0100 |
eliminate use of Thy_Info 13: eliminate UnparseC.term in test/
|
file | diff | annotate |
Tue, 31 Jan 2023 10:49:17 +0100 |
cleanup parse #6: eliminate TermC.parseNEW
|
file | diff | annotate |
Mon, 07 Nov 2022 19:58:01 +0100 |
rename KEstore_Elems to Know_Store
|
file | diff | annotate |
Thu, 20 Oct 2022 10:23:38 +0200 |
followup 6a: tests run from @{context} without sessions
|
file | diff | annotate |
Fri, 05 Aug 2022 12:30:16 +0200 |
push Proof.context through Eval.adhoc_thm
|
file | diff | annotate |
Thu, 04 Aug 2022 12:48:37 +0200 |
polish naming in Rewrite_Order
|
file | diff | annotate |
Sat, 30 Jul 2022 16:47:45 +0200 |
eliminate global flag Rewrite.trace_on
|
file | diff | annotate |
Mon, 19 Jul 2021 18:29:46 +0200 |
cleanup after "eliminate ThmC.numerals_to_Free"
|
file | diff | annotate |
Sat, 17 Jul 2021 14:05:28 +0200 |
replace "-*" by "- *" for numerals "*" in test/*
|
file | diff | annotate |
Wed, 20 May 2020 12:52:09 +0200 |
standard format for string lists
|
file | diff | annotate |
Mon, 13 Apr 2020 15:31:23 +0200 |
reorganise struct. ThmC, part 1
|
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 |
Wed, 06 Nov 2019 15:08:27 +0100 |
lucin: args of appy, assy & Co reorganised
|
file | diff | annotate |
Mon, 26 Aug 2019 17:40:27 +0200 |
rename Isac.thy --> Isac_Knowledge.thy
|
file | diff | annotate |
Fri, 18 May 2018 18:32:02 +0200 |
rm global ref from Test.thy finally
|
file | diff | annotate |
Thu, 27 Oct 2016 10:48:10 +0200 |
rename get_calculation* to adhoc_thm*
|
file | diff | annotate |
Sat, 27 Aug 2016 10:56:42 +0200 |
actually updated code according to previous changeset
|
file | diff | annotate |
Fri, 12 Oct 2012 17:06:58 +0200 |
2011-->2012: ProofContext-->Proof_Context
|
file | diff | annotate |
Fri, 22 Jul 2011 14:01:09 +0200 |
tuned
|
file | diff | annotate |
Thu, 07 Apr 2011 16:31:05 +0200 |
intermed. context integration
|
file | diff | annotate |
Mon, 04 Apr 2011 11:05:07 +0200 |
intermed. context integration appl_add does not work
|
file | diff | annotate |
Fri, 18 Mar 2011 17:24:56 +0100 |
intermed. usecase Diophant
|
file | diff | annotate |
Fri, 18 Mar 2011 12:33:12 +0100 |
intermed. usecase Diophant: change usecase inttype
|
file | diff | annotate |
Fri, 18 Mar 2011 09:26:03 +0100 |
intermed. usecase Diophant
|
file | diff | annotate |
Thu, 17 Mar 2011 10:46:02 +0100 |
intermed usecase Diophant
|
file | diff | annotate |
Thu, 17 Mar 2011 10:11:18 +0100 |
intermed. usecase Diophant
|
file | diff | annotate |