isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

fixed NEWS link
2005-06-04, by haftmann
added library symlink
2005-06-04, by haftmann
added library symlink
2005-06-04, by haftmann
added library symlink
2005-06-04, by haftmann
adjusted navigation width
2005-06-04, by haftmann
added shellcmd style
2005-06-04, by haftmann
added shellcmd style
2005-06-04, by haftmann
added shellcmd style
2005-06-04, by haftmann
added shellcmd style
2005-06-04, by haftmann
re-added binary files
2005-06-04, by haftmann
(temporary remove, forgotten the -b flag...)
2005-06-04, by haftmann
major reorganization and cleanup;
2005-06-04, by wenzelm
added new website
2005-06-04, by haftmann
added explicit dependency on Fix theory
2005-06-04, by huffman
add keywords fixrec and fixpat for HOLCF fixrec package
2005-06-04, by huffman
fix imports
2005-06-04, by huffman
use fixrec_package.ML
2005-06-04, by huffman
import Fix is unnecessary
2005-06-04, by huffman
added fixrec_package.ML
2005-06-04, by huffman
implementation of fixrec package
2005-06-04, by huffman
shrink session graph so it fits on a page
2005-06-04, by huffman
Domain package generates match functions for new datatypes, for use with the fixrec package
2005-06-04, by huffman
add dependency on Fixrec.thy
2005-06-04, by huffman
add Fixrec.thy
2005-06-04, by huffman
New theory with lemmas for the fixrec package
2005-06-04, by huffman
changed variable name in monofun_cfun_arg
2005-06-03, by huffman
fixed renamed theorems
2005-06-03, by huffman
fixed some renamed theorems
2005-06-03, by huffman
renamed defined lemmas
2005-06-03, by huffman
renamed variable in cont2cont_app
2005-06-03, by huffman

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

isabelle