isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

Fixed bug.
1995-04-16, by nipkow
Brought in line with new organization of IOA.
1995-04-16, by nipkow
New examples directories Resid and AC
1995-04-14, by lcp
Definition of 'let' declarations, from HOL
1995-04-14, by lcp
In binders, the default body priority is now p instead of 0.
1995-04-14, by lcp
Now builds Resid as a test
1995-04-14, by lcp
Deleted comment
1995-04-14, by lcp
Renamed diff_sing_lepoll to Diff_sing_lepoll.
1995-04-14, by lcp
Renamed domain_diff_subset, range_diff_subset,
1995-04-14, by lcp
Renamed diff_sing_lepoll, lepoll_diff_sing and diff_sing_eqpoll
1995-04-14, by lcp
Updated CADE reference
1995-04-14, by lcp
Removes (obsolete) target if already present.
1995-04-14, by lcp
Olafs new version.
1995-04-13, by nipkow
Directory example is now called NTP
1995-04-13, by nipkow
ABP: Alternating bit protocol example
1995-04-13, by nipkow
New ROOT file.
1995-04-13, by nipkow
New example by Ole Rasmussen
1995-04-13, by lcp
Simplified some proofs and made them work for new hyp_subst_tac.
1995-04-13, by lcp
expandshort
1995-04-13, by lcp
Deleted some useless things and made proofs of
1995-04-13, by lcp
Simplified using pattern replacements.
1995-04-13, by lcp
adjusted HOLCF for new hyp_subst_tac
1995-04-13, by regensbu
Defined vv1 using let. Introduced gg1, gg2.
1995-04-13, by lcp
Deleted subset_imp_Un_Diff_eq, as it is identical to
1995-04-13, by lcp
New root file
1995-04-13, by lcp
Redefined OUnion in a definitional manner
1995-04-13, by lcp
Redefined OUnion in a definitional manner, and proved the
1995-04-13, by lcp
Deleted lt_oadd_disj1
1995-04-13, by lcp
Recoded function atomize so that new ways of creating
1995-04-13, by lcp
Proved Int_Diff_eq.
1995-04-13, by lcp

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

isabelle