Afp 2008 Log


Commit Date  
[bd5de7] by nipkow

*** empty log message ***

2008-10-15 16:39:42 Tree
[1ad1e4] by lsf37

moved location of isadist

2008-10-13 06:35:06 Tree
[052db3] by lsf37

update to SF's new annoying way of providing access to the web service

2008-09-22 09:31:18 Tree
[5a66c6] by lsf37

new entry Slicing pulled in from devel branch

2008-09-16 22:01:48 Tree
[66b0dc] by unknown

This commit was manufactured by cvs2svn to create branch 'Isabelle2008'.

2008-09-16 14:17:23 Tree
[f2b528] by nipkow

New entry

2008-09-05 16:50:24 Tree
[32c76b] by nipkow

New entry

2008-09-05 16:35:21 Tree
[2ca301] by lsf37

new entry SATSolverVerification

2008-07-27 04:45:38 Tree
[efe1e7] by lsf37

adjusted margin for long lines

2008-07-27 02:25:58 Tree
[365202] by lsf37

fixed root.bib reference names

2008-07-27 01:09:47 Tree
[ef94ac] by lsf37

Submission by Filip Maric,
renamed MyList to MoreList,
added maintainer entry,
added IsaMakefile

2008-07-27 01:06:05 Tree
[ab75cd] by lsf37

adjust branch tag in branch as well

2008-06-11 22:13:06 Tree
[01c9ed] by lsf37

sync

2008-06-10 11:14:40 Tree
[b943f6] by unknown

This commit was manufactured by cvs2svn to create branch 'Isabelle2008'.

2008-06-09 18:54:06 Tree
[128d30] by makarius

use regular case_tac method;

2008-06-09 18:54:05 Tree
[4c51e6] by makarius

DatatypePackage.distinct_simproc;

2008-06-09 15:32:58 Tree
[66f7cc] by makarius

avoid implicit use of prems;

2008-06-04 18:05:56 Tree
[613df7] by makarius

removed dead code;
avoid implicit use of prems;

2008-06-04 18:05:39 Tree
[bdb40a] by norbertschirmer

use $(ISATOOL) instead of isatool for keyword generation

2008-06-04 13:27:55 Tree
[f8e752] by lsf37

rebuild Simpl properly before running BDD

2008-06-03 23:25:40 Tree
[9d565d] by norbertschirmer

removed warning: ### Legacy feature! Implicit use of prems in assumption proof

2008-06-03 11:11:13 Tree
[2661b6] by norbertschirmer

output undecorated frees as consts to avoid being considered as undeclared by token translation

2008-05-30 14:35:45 Tree
[23e9e1] by makarius

avoid implicit use of prems;
removed unnecessary prefer commands;
tuned proofs;

2008-05-30 00:29:30 Tree
[e25302] by makarius

avoid implicit use of prems;
tuned proofs;

2008-05-30 00:29:20 Tree
[3fd347] by makarius

avoid implicit use of prems;

2008-05-30 00:29:13 Tree
Older >