isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

CTT/Arith.ML: replaced many rewrite_goals_tac calls by prove_goalw
1994-05-03, by lcp
removal of obsolete type-declaration syntax
1994-05-03, by lcp
removal of obsolete type-declaration syntax
1994-05-03, by lcp
removal of obsolete type-declaration syntax
1994-05-03, by lcp
post-CRC corrections
1994-05-03, by lcp
post-CRC corrections
1994-05-03, by lcp
post-CRC corrections
1994-05-03, by lcp
changed translation of type applications according to new grammar;
1994-05-02, by wenzelm
added many more filenames to FILES and EX_FILES
1994-04-27, by lcp
made a few cosmetic changes
1994-04-26, by clasohm
final Springer copy
1994-04-25, by lcp
final Springer copy
1994-04-25, by lcp
renamed theory files
1994-04-24, by clasohm
fixed a small bug
1994-04-24, by clasohm
changed convention for theory file names: they now have to consist of the
1994-04-24, by clasohm
renamed theory files
1994-04-22, by clasohm
renamed theory files
1994-04-22, by clasohm
renamed theory files
1994-04-22, by clasohm
renamed theory files
1994-04-22, by clasohm
renamed theory files
1994-04-22, by clasohm
renamed theory files
1994-04-22, by clasohm
final Springer copy
1994-04-22, by lcp
final Springer copy
1994-04-22, by lcp
final Springer copy
1994-04-22, by lcp
changed the way a grammar is generated to allow the new parser to work;
1994-04-22, by clasohm
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp
penultimate Springer draft
1994-04-15, by lcp

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

isabelle