Thu, 17 May 2012 12:43:04 +0200 |
fun get_bdv_subst: get a substitution for bound variables from a program
|
file | diff | annotate |
Tue, 26 Jul 2011 14:35:06 +0200 |
uncomment tests, compared with akargl
|
file | diff | annotate |
Mon, 25 Jul 2011 14:18:08 +0200 |
intermed: update test/../ProgLang
|
file | diff | annotate |
Mon, 25 Jul 2011 08:10:33 +0200 |
update test/../termC.sml
|
file | diff | annotate |
Fri, 22 Jul 2011 17:28:24 +0200 |
restore Isabelle setup completed
|
file | diff | annotate |
Fri, 22 Jul 2011 15:57:22 +0200 |
intermed: uncomment tests
|
file | diff | annotate |
Thu, 21 Jul 2011 16:57:21 +0200 |
intermed: uncomment test
|
file | diff | annotate |
Thu, 10 Mar 2011 12:45:58 +0100 |
intermed.update Isabelle2011: HOL.Trueprop
|
file | diff | annotate |
Fri, 08 Oct 2010 18:51:23 +0200 |
repaired fun nxt_specify_
|
file | diff | annotate |
Fri, 01 Oct 2010 16:23:03 +0200 |
intermed. 'fun parse_patt' fixes types to real (like 'parse')
|
file | diff | annotate |
Tue, 28 Sep 2010 09:06:56 +0200 |
tuned error and writeln
|
file | diff | annotate |
Tue, 28 Sep 2010 07:28:10 +0200 |
repaired fun uminus_to_string, fun rewrite_terms_
|
file | diff | annotate |