| Sat, 18 Jun 2022 12:34:29 +0200 |
adapth thy to Demo_Example
|
file | diff | annotate |
| Tue, 10 Aug 2021 09:43:07 +0200 |
complete replacement of Rule.Thm/Eval by \<^rule_thm> and \<^rule_eval> in src/*
|
file | diff | annotate |
| Thu, 15 Jul 2021 14:10:18 +0200 |
ewrite.sml + poly.sml + rational.sml: ok, repair rewrite-orders
|
file | diff | annotate |
| Fri, 07 May 2021 18:12:51 +0200 |
* WN: simplify const names like "is'_expanded"
|
file | diff | annotate |
| Thu, 29 Apr 2021 14:13:11 +0200 |
eliminate warnings from src/*, finished
|
file | diff | annotate |
| Fri, 16 Apr 2021 22:29:23 +0200 |
prefer symbolic directories $ISABELLE_ISAC and $ISABELLE_ISAC_TEST, instead of re-using ~~ for $ISABELLE_HOME;
|
file | diff | annotate |
| Fri, 22 Jan 2021 14:56:44 +0100 |
step 5.4: clarify dependencies of BridgeJEdit.thy
|
file | diff | annotate |
| Fri, 27 Nov 2020 18:19:04 +0100 |
Test_Some Example still reports the result from g_c_d
|
file | diff | annotate |
| Wed, 04 Mar 2020 15:38:06 +0100 |
unify copy&paste-code in Sub_Problem.prog_to_tac
|
file | diff | annotate |
| Wed, 28 Aug 2019 11:21:26 +0200 |
reorganised MathEngine/ BridgeLibisabelle/
|
file | diff | annotate |
| Mon, 26 Aug 2019 17:40:27 +0200 |
rename Isac.thy --> Isac_Knowledge.thy
|
file | diff | annotate | base |