equal
deleted
inserted
replaced
209 HOL-Library: HOL $(LOG)/HOL-Library.gz |
209 HOL-Library: HOL $(LOG)/HOL-Library.gz |
210 |
210 |
211 $(LOG)/HOL-Library.gz: $(OUT)/HOL \ |
211 $(LOG)/HOL-Library.gz: $(OUT)/HOL \ |
212 Library/SetsAndFunctions.thy Library/BigO.thy Library/Ramsey.thy \ |
212 Library/SetsAndFunctions.thy Library/BigO.thy Library/Ramsey.thy \ |
213 Library/Efficient_Nat.thy Library/Executable_Set.thy \ |
213 Library/Efficient_Nat.thy Library/Executable_Set.thy \ |
214 Library/ML_Int.thy Library/ML_String.thy Library/Infinite_Set.thy \ |
214 Library/Infinite_Set.thy \ |
215 Library/FuncSet.thy Library/Library.thy \ |
215 Library/FuncSet.thy Library/Library.thy \ |
216 Library/List_Prefix.thy Library/State_Monad.thy Library/Multiset.thy \ |
216 Library/List_Prefix.thy Library/State_Monad.thy Library/Multiset.thy \ |
217 Library/NatPair.thy \ |
217 Library/NatPair.thy \ |
218 Library/Permutation.thy Library/Primes.thy Library/Quotient.thy \ |
218 Library/Permutation.thy Library/Primes.thy Library/Quotient.thy \ |
219 Library/Quicksort.thy Library/Nat_Infinity.thy Library/Word.thy \ |
219 Library/Quicksort.thy Library/Nat_Infinity.thy Library/Word.thy \ |
229 Library/SCT_Definition.thy Library/SCT_Theorem.thy \ |
229 Library/SCT_Definition.thy Library/SCT_Theorem.thy \ |
230 Library/SCT_Interpretation.thy \ |
230 Library/SCT_Interpretation.thy \ |
231 Library/SCT_Implementation.thy Library/Size_Change_Termination.thy \ |
231 Library/SCT_Implementation.thy Library/Size_Change_Termination.thy \ |
232 Library/SCT_Examples.thy Library/sct.ML \ |
232 Library/SCT_Examples.thy Library/sct.ML \ |
233 Library/Pure_term.thy Library/Eval.thy Library/Eval_Witness.thy \ |
233 Library/Pure_term.thy Library/Eval.thy Library/Eval_Witness.thy \ |
234 Library/Pretty_Int.thy \ |
234 Library/Code_Index.thy Library/Code_Char.thy Library/Code_Char_chr.thy \ |
235 Library/Pretty_Char.thy Library/Pretty_Char_chr.thy Library/Abstract_Rat.thy\ |
235 Library/Code_Integer.thy Library/Code_Message.thy \ |
|
236 Library/Abstract_Rat.thy \ |
236 Library/Numeral_Type.thy Library/Boolean_Algebra.thy |
237 Library/Numeral_Type.thy Library/Boolean_Algebra.thy |
237 @cd Library; $(ISATOOL) usedir $(OUT)/HOL Library |
238 @cd Library; $(ISATOOL) usedir $(OUT)/HOL Library |
238 |
239 |
239 |
240 |
240 ## HOL-Subst |
241 ## HOL-Subst |