isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

tuned warning msg;
1997-11-12, by wenzelm
major cleanup;
1997-11-12, by wenzelm
moved 'latex' from library.ML to goals.ML;
1997-11-12, by wenzelm
tuned prths;
1997-11-12, by wenzelm
structure BasisLibrary;
1997-11-12, by wenzelm
added Thy/file.ML, Thy/use.ML;
1997-11-12, by wenzelm
renamed split_prem_tac to split_asm_tac
1997-11-12, by oheimb
restored last version
1997-11-12, by oheimb
simpdata.ML: renamed split_prem_tac to split_asm_tac, added split_if_asm
1997-11-12, by oheimb
renamed split_T_case_prem to split_T_case_asm
1997-11-12, by oheimb
renamed split_prem_tac to split_asm_tac
1997-11-12, by oheimb
renamed split_prem_tac to split_asm_tac
1997-11-12, by oheimb
Fixed indentation
1997-11-11, by paulson
Rationalized the theorem if_image_distrib.
1997-11-11, by paulson
Fixed indentation
1997-11-11, by paulson
Fixed spelling error
1997-11-11, by paulson
Made some proofs more robust
1997-11-11, by paulson
Now applies "map negOfGoal" to lits when expanding haz rules.
1997-11-11, by paulson
ASCII-fied;
1997-11-10, by wenzelm
polished definition of find_index_eq
1997-11-10, by oheimb
check files for non-ASCII characters;
1997-11-10, by wenzelm
replaced 8bit characters
1997-11-10, by oheimb
fixed LAM<...> syntax;
1997-11-10, by wenzelm
fixed spelling;
1997-11-10, by wenzelm
added split_prem_tac
1997-11-07, by oheimb
changed libraray function find to find_index_eq, currying it
1997-11-07, by oheimb
added contrapos
1997-11-07, by oheimb
added contrapos2
1997-11-07, by oheimb
added exists_Const
1997-11-07, by oheimb
Each datatype t now proves a theorem split_t_case_prem
1997-11-07, by nipkow

less more | (0) -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle