Thu, 23 Sep 2010 14:49:23 +0200 |
updated "op +", "op -", "op *". "HOL.divide" in src & test
|
file | diff | annotate |
Thu, 23 Sep 2010 12:56:51 +0200 |
interrupted update test/../Knowledge/integrate.sml, repaired term2str
|
file | diff | annotate |
Thu, 23 Sep 2010 08:54:26 +0200 |
tuned pbt's due to copy_named
|
file | diff | annotate |
Thu, 23 Sep 2010 08:43:36 +0200 |
repaired is_copy_named, cpy_nam and improved tests & comments
|
file | diff | annotate |
Tue, 14 Sep 2010 15:46:56 +0200 |
repaired copy_nam
|
file | diff | annotate |
Tue, 14 Sep 2010 12:12:42 +0200 |
adapted is_copy_named from v___ to v'''
|
file | diff | annotate | base |