| Sat, 22 Jun 2019 14:34:06 +0200 |
funpack: remove code unnecessary after switch to partial_function, partially
|
file | diff | annotate |
| Tue, 19 Feb 2019 19:35:12 +0100 |
[-Test_Isac] funpack: cp program code to partial_function
|
file | diff | annotate |
| Fri, 14 Dec 2018 20:53:15 +0100 |
[-Test_Isac] funpack: Minisubpbl works again
|
file | diff | annotate |
| Fri, 14 Dec 2018 18:53:23 +0100 |
[-Test_Isac] funpack: prep.no.2 replace ID::type by char string
|
file | diff | annotate |
| Fri, 14 Dec 2018 18:46:04 +0100 |
[-Test_Isac] funpack: prep. replace ID::type by char string
|
file | diff | annotate |
| Fri, 30 Nov 2018 15:00:01 +0100 |
[-Test_Isac] funpack: string constants ''xxx'' in partial_function for Minisubpbl
|
file | diff | annotate |
| Sat, 20 Jan 2018 15:18:41 +0100 |
------ line breaks within syntax def disallowed
|
file | diff | annotate |
| Fri, 06 Jun 2014 06:50:02 +0200 |
removed further Unsynchronized.ref
|
file | diff | annotate |
| Sun, 29 Sep 2013 18:27:37 +0200 |
collected updates since changeset 9690a8d5f1c
|
file | diff | annotate |
| Sun, 16 Jun 2013 12:31:41 +0200 |
Isabelle2011 --> 2012 intermediate
|
file | diff | annotate |
| Thu, 05 Apr 2012 11:31:56 +0200 |
thydata created (Isabelle2002 --> 2011)
|
file | diff | annotate |
| Tue, 03 May 2011 15:58:04 +0200 |
tuned, tests work
|
file | diff | annotate |
| Tue, 03 May 2011 11:16:55 +0200 |
updated all 'Const ("Let"..' to 'Const ("HOL.Let"..'
|
file | diff | annotate |
| Sat, 26 Feb 2011 11:34:08 +0100 |
intermed.update to Isabelle2011
|
file | diff | annotate |
| Mon, 11 Oct 2010 13:31:22 +0200 |
removed all ".thy" in src/ and test/
|
file | diff | annotate |
| Fri, 08 Oct 2010 18:51:23 +0200 |
repaired fun nxt_specify_
|
file | diff | annotate |
| Mon, 13 Sep 2010 18:12:15 +0200 |
ref --> Unsynchronized.ref tuned.
|
file | diff | annotate |
| Mon, 13 Sep 2010 17:21:22 +0200 |
ref --> Unsynchronized.ref done
|
file | diff | annotate |
| Wed, 08 Sep 2010 10:15:51 +0200 |
updated Knowledge/RootEq.thy
|
file | diff | annotate |
| Mon, 06 Sep 2010 17:07:28 +0200 |
changed argument types for scripts
|
file | diff | annotate |
| Wed, 25 Aug 2010 16:20:07 +0200 |
renamed isac's directories and Build_Isac.thy
|
file | diff | annotate | base |